Artur Niewiadomski Wojciech Penczek Maciej Szreter A New Approach to Model Checking of UML State Machines. 289-303 2009 93 Fundam. Inform. 1-3 http://dx.doi.org/10.3233/FI-2009-0103 db/journals/fuin/fuin93.html#NiewiadomskiPS09