Rolf Hennicker, Alexander Knapp. Activity-Driven Synthesis of State Machines. In Matthew B. Dwyer, Antónia Lopes, editors, Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Volume 4422 of Lecture Notes in Computer Science, pages 87-101, Springer, 2007. [doi]
Abstract is missing.