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