Niewiadomski A, Penczek W. UML Verification with Verics. SI. 2007;8(1):19-31. Accessed November 21, 2024. https://czasopisma.uws.edu.pl/studiainformatica/article/view/2842