Design Specification and Verification of Interactive Systems '95 | DealShopping Deutschland