A. Niewiadomski and W. Penczek, “UML Verification with Verics”, SI, vol. 8, no. 1, pp. 19–31, Jun. 2007, Accessed: Nov. 22, 2024. [Online]. Available: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2842