Yu Lo, Lucky Lochi. «Verification of Transaction Level Models of Embedded Systems». Ingeniería 23, no. 2 (noviembre 19, 2013): 75–95. Accedido mayo 3, 2024. https://www.revistas.ucr.ac.cr/index.php/ingenieria/article/view/11662.