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.uws.edu.pl/studiainformatica/article/view/2842 (Accessed: 30 October 2024).