Design, Specification & Verification of Interactive Systems '95 | lit.salon