Erkki Mäkinen Tarja Systä Minimally adequate teacher synthesizes statechart diagrams. 235-259 2002 38 Acta Inf. 4 http://link.springer.de/link/service/journals/00236/bibs/2038004/20380235.htm db/journals/acta/acta38.html#MakinenS02