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