Interactive Systems: Design, Specification, and Verification 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Urban, Bodo; Urban, Bodo; Vanderdonckt, Jean; Vanderdonckt, Jean; Limbourg, Quentin; Limbourg, Quentin (Springer Berlin Heidelberg : Imprint: Springer, 2002)