Model-Based Automated Accessibility Testing. - Giorgio Brajnik; Chiara Pighin; Sara Fabbro (ASSETS, 2015)