@conference {CamposH:08a,
	title = {Systematic analysis of control panel interfaces using formal tools},
	booktitle = {15th International Workshop on the Design, Verification and Specification of Interactive Systems - DSV-IS},
	series = {Lecture Notes in Computer Science},
	number = {5136},
	year = {2008},
	month = {July},
	pages = {72-85},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	address = {Ontario, Canada},
	abstract = {<p>The paper explores the role that formal modeling may play in aiding the visualization and implementation of usability requirements of a control panel. We propose that this form of analysis should become a systematic and routine aspect of the development of such interfaces. We use a notation for describing the interface that is convenient to use by software engineers, and describe a set of tools designed to make the process systematic and exhaustive.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/2012-dsvis08-ch.pdf},
	author = {Jos{\'e} Creissac Campos and Michael Harrison}
}