Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols | IEEE Conference Publication | IEEE Xplore