Jean-Pierre Talpin Paul Le Guernic Sandeep K. Shukla Rajesh Gupta A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. 613-643 2005 33 International Journal of Parallel Programming 6 http://dx.doi.org/10.1007/s10766-005-8907-y db/journals/ijpp/ijpp33.html#TalpinGSG05