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