Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.

Dubravka Ilic Elena Troubitsyna Linas Laibinis Sari Leppänen Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. 425-432 2006 ISoLA http://dx.doi.org/10.1109/ISoLA.2006.40 conf/isola/2006 db/conf/isola/isola2006.html#IlicTLL06