" Design, specification, and verification of interactive systems '97 : " M.D. Harrison and J.C. Torres (eds.).