YU LO, L. L. Verification of Transaction Level Models of Embedded Systems. Ingeniería, [S. l.], v. 23, n. 2, p. 75–95, 2013. DOI: 10.15517/ring.v23i2.11662. Disponível em: https://www.revistas.ucr.ac.cr/index.php/ingenieria/article/view/11662. Acesso em: 3 may. 2024.