NIEWIADOMSKI, Artur; PENCZEK, Wojciech. UML Verification with Verics. Studia Informatica. System and information technology, [S. l.], v. 8, n. 1, p. 19–31, 2007. Disponível em: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2842. Acesso em: 22 jul. 2024.