Predicting user performance and errors automated usability evaluation through computational introspection of model-based user interfaces - Halbrugge, Marc (Springer International Publishing AG, 2018)