Yu Lo, L. L. «Verification of Transaction Level Models of Embedded Systems». Ingeniería, vol. 23, n.º 2, noviembre de 2013, pp. 75-95, doi:10.15517/ring.v23i2.11662.