Niewiadomski, A. and Penczek, W. 2007. UML Verification with Verics. Studia Informatica. System and information technology. 8, 1 (Jun. 2007), 19–31.