Yu Lo LL. Verification of Transaction Level Models of Embedded Systems. Ingeniería [Internet]. 19 de noviembre de 2013 [citado 3 de mayo de 2024];23(2):75-9. Disponible en: https://www.revistas.ucr.ac.cr/index.php/ingenieria/article/view/11662