Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich. Checking Assumptions in Component Dynamics as the Architectural Level. In David Garlan, Daniel Le Métayer, editors, Coordination Languages and Models, Second International Conference, COORDINATION 97, Berlin, Germany, September 1-3, 1997, Proceedings. Volume 1282 of Lecture Notes in Computer Science, pages 46-63, Springer, 1997.