Markopoulos, P.Johnson, P.2015-02-152015-02-1519981467-8659https://doi.org/10.1111/1467-8659.00240Fifth Eurographics Workshop on Design Specification and Verification of Interactive Systems, Abingdon, UK, June 3-5 199810.1111/1467-8659.00240190-191