Analysis and Verification of the Interaction Model in Software Design. - Guido Menkhaus; Urs Frei; Jorg Wuthrich (ICECCS, 2005)