2015-02-152015-02-1519981467-8659https://doi.org/10.1111/1467-8659.002245th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS '9810.1111/1467-8659.0022499-100