Franck Barbier Henri Briand Bénédicte Dano Stéphane Rideau The Executability of Object-Oriented Finite State Machines. 16-24 1998 11 JOOP 4 db/journals/joop/joop11.html#BarbierBDR98