Activity-Driven Synthesis of State Machines.

Rolf Hennicker Alexander Knapp Activity-Driven Synthesis of State Machines. 87-101 2007 conf/fase/2007 FASE https://doi.org/10.1007/978-3-540-71289-3_8 db/conf/fase/fase2007.html#HennickerK07