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