NIEWIADOMSKI, A.; PENCZEK, W. 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: 28 apr. 2024.