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