Niewiadomski, A. and Penczek, W. (2007) “UML Verification with Verics”, Studia Informatica. System and information technology, 8(1), pp. 19–31. Available at: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2842 (Accessed: 28 April 2024).