Tool Supported Extraction of Behavior Models. - Christian Kop; Jürgen Vöhringer; Martin Hölbling; Thomas Horn; Heinrich C. Mayr; Christian Irrasch (ISTA, 2005)