Niewiadomski, Artur, and Wojciech Penczek. “UML Verification With Verics”. Studia Informatica. System and Information Technology, vol. 8, no. 1, June 2007, pp. 19-31, https://czasopisma.uph.edu.pl/studiainformatica/article/view/2842.