Design, specification, and verification of interactive systems '97 | lit.salon