Christian Kop Jürgen Vöhringer Martin Hölbling Thomas Horn Heinrich C. Mayr Christian Irrasch Tool Supported Extraction of Behavior Models. 114-123 2005 conf/ista/2005 ISTA db/conf/ista/ista2005.html#KopVHHMI05