You are about to access our book library "Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers full version" .