Interactive systems design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers / - Forbrig, Peter, (Lecture notes in computer science ;)