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