Composition of reactive system components (1997)

by Kevin Lano, Juan Bicarregui, Tom Maibaum, Jose Fiadeiro
Venue:Proceedings of the 1st Workshop on Component-Based Systems. European Software Engineering Conference (ESEC) and ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE