Reengineering C/C++ Source Code by Transforming State Machines. - Roland Knor; Georg Trausmuth; Johannes Weidl (ESPRIT ARES Workshop, 1998)