Envoyer par SMS: Industrial applications of formal methods to model, design, and analyze computer systems :