Design, Specification and Verification Of Interactive Systems '98