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 ;, 2002)