Yu Lo, L.L. 2013. Verification of Transaction Level Models of Embedded Systems. Ingeniería. 23, 2 (nov. 2013), 75–95. DOI:https://doi.org/10.15517/ring.v23i2.11662.