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