Enviar por SMS: Formal aspects of component software (FACS 2010 selected and extended papers)