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