Niewiadomski, Artur, and Wojciech Penczek. 2007. “UML Verification With Verics”. Studia Informatica. System and Information Technology 8 (1): 19-31. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2842.