Specification and Development of Interactive Systems