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