Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.
Sven BurmesterHolger GieseStefan HenklerMartin HirschMatthias TichyAlfonso GambuzzaEckehard MünchHenner VöckingPublished in: ICSE (2007)