Benjamin Weyers, Dina Burkolter, Wolfram Luther, Annette Kluge. Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems. International Journal of Human-Computer Interaction, 28(10):646-665, 2012. [doi]