Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. - Sven Burmester; Holger Giese; Stefan Henkler; Martin Hirsch 001; Matthias Tichy; Alfonso Gambuzza; Eckehard Münch; Henner Vöcking (ICSE, 2007)