Niewiadomski A, Penczek W. UML Verification with Verics. SI [Internet]. 2007 Jun. 15 [cited 2024 Nov. 22];8(1):19-31. Available from: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2842