Guido Menkhaus Urs Frei Jorg Wuthrich Analysis and Verification of the Interaction Model in Software Design. 67-75 2005 conf/iceccs/2005 ICECCS http://dx.doi.org/10.1109/ICECCS.2005.23 db/conf/iceccs/iceccs2005.html#MenkhausFW05