1. Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri net models. In: WSOP’02, pp. 35–45. ACM Press, New York (2002)
2. Bolton, C., Davies, J.: Using relational and behavioural semantics in the verification of object models. In: FMOODS’00, pp. 163–182. Kluwer, Dordrecht (2000)
3. Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A formal framework for viewpoint consistency. Formal Methods in System Design 21, 111–166 (2002)
4. Lecture Notes in Computer Science;M. Brill,2004
5. Choi, Y., Bunse, C.: Behavioral consistency checking for component-based software development using the KobrA approach. In: Consistency Problems in UMLbased Software Development III, Lisbon, Portugal (revised papers) (October 2004)