Challenges in Automated Model-Based HMI Testing. - Reinhard Stolle; Thomas Benedek; Christian Knuechel; Harald Heinecke (GI Jahrestagung (2), 2005)