Design, specification and verification of interactive systems '99 proceedings of the Eurographics Workshop in Braga, Portugal, June 2 - 4, 1999 (Springer, 1999)