Download Design, Specification And Verification Of Interactive Systems ’99: Proceedings Of The Eurographics Workshop In Braga, Portugal, June 2–4, 1999