E. C. Estévez and P. R. Fillottrani, “Bisimulation for component-based development”, JCS&T, vol. 1, no. 06, p. 14 p., May 2002.