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