Download Design Specification And Verification Of Interactive Systems 99 Proceedings Of The Eurographics Workshop In Braga Portugal June 24 1999