Automatic Synthesis of State Machines from Trace Diagrams.

Alfredo M. Maeda Jun-Ichi Aoe Hideto Tomabechi Automatic Synthesis of State Machines from Trace Diagrams. 603-622 1994 24 Softw., Pract. Exper. 7 db/journals/spe/spe24.html#MaedaAT94