Design, Specification and Verification of Interactive Systems '97 | lit.salon