Duke - Design Specification and Verification of Interactive Systems ' - X555z

Markopoulos - Design Specification and Verification of Interactive Sy - X555z

Bodart - Design Specification and Verification of Interactive Systems - X555z

Graham - Interactive Systems Design Specification and Verification - X555z

Palanque - Design Specification and Verification of Interactive Syste - X555z

Broy - Specification and Development of Interactive Systems Focus on - X555z

Vissers - Architectural Design Conception and Specification of Inter - X555z

Broy - Specification and Development of Interactive Systems Focus on - X555z