Envoyer par SMS: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems 2005, Lisbon, Portugal, September 05-06, 2005 / program chair, Gary T. Leavens. [electronic resource] :