@conference {SousaCAH:2014,
	title = {Formal Verification of Safety-Critical User Interfaces: a space system case study},
	booktitle = {Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium},
	year = {2014},
	month = {March},
	pages = {62-67},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	address = {Stanford, USA},
	abstract = {<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>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/7722-34384-1-pb.pdf},
	author = {M. Sousa and Jos{\'e} Creissac Campos and M. Alves and Michael Harrison}
}