A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.

David Navarre, Philippe A. Palanque, Sandra Basnyat

Browse the full SAFECOMP paper archive.