Design, specification and verification of interactive systems' 98 : - Μαρκόπουλος, Πάνος; Johnson, Peter (Eurographics (Series), 1998)