Niewiadomski, A., & Penczek, W. (2007). UML Verification with Verics. Studia Informatica. System and Information Technology, 8(1), 19-31. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2842