Model-based automated accessibility testing