Invia SMS: Specification and analysis of concurrent systems :