Interactive Systems: Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban ((Lecture Notes in Computer Science))