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