Niewiadomski, A.; Penczek, W. UML Verification With Verics. SI 2007, 8 (1), 19-31.