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