%0 Conference Paper
%B Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium
%D 2014
%T Formal Verification of Safety-Critical User Interfaces: a space system case study
%A M. Sousa
%A José Creissac Campos
%A M. Alves
%A Michael Harrison
%C Stanford, USA
%I AAAI Press
%P 62-67
%X <p>Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces based on model checking techniques.</p>
%8 March
%> https://haslab.uminho.pt/sites/default/files/jccampos/files/7722-34384-1-pb.pdf