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