Niewiadomski, Artur, and Wojciech Penczek. “UML Verification With Verics”. Studia Informatica. System and information technology 8, no. 1 (June 15, 2007): 19–31. Accessed April 27, 2024. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2842.