Enviar por SMS: On refinement of generic state-based software components