Estévez, E. C.; Fillottrani, P. R. Bisimulation for Component-Based Development. JCS&T 2002, 1, 14 p..