L. L. Yu Lo, «Verification of Transaction Level Models of Embedded Systems», Ingeniería, vol. 23, n.º 2, pp. 75–95, nov. 2013.