Yu Lo, L. L. Verification of Transaction Level Models of Embedded Systems. Ingeniería 2013, 23, 75-95.