Interactive Systems: Design Specification and Verification : 8th International Workshop DSV IS 2001 Glasgow Scotland UK June 13–15 2001 Revised Papers This book constitutes the thoroughly refereed post proceedings of the 8th International Workshop on the Design Specification and Verification of Interactive Systems DSV IS 2001 held in Glasgow Scotland UK in June 2001.The 12 revised full papers presented have gone through two rounds of reviewing selection and revision. The book offers topical sections on mobile interface design context sensitive interfaces supervision and control systems temporal and stochastic issues and new perspectives