Wolf Zimmermann Michael Schaarschmidt Automatic Checking of Component Protocols in Component-Based Systems. 1-17 2006 conf/soco/2006 Software Composition http://dx.doi.org/10.1007/11821946_1 db/conf/soco/sc2006.html#ZimmermannS06