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