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