Formal Protocols in Mobile and Embedded