Florian Frische, Tomasz Mistrzyk, Andreas Lüdtke: Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking. INTERACT (1) 2009: 528-531