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