Verifying UML-RT Protocol Conformance Using Model Checking. - Yann Moffett; Alain Beaulieu; Jürgen Dingel (MoDELS, 2011)

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. - Yann Moffett; Jürgen Dingel; Alain Beaulieu (IEEE Trans. Software Eng., 2013)