@conference {HarrisonCMT:2012,
	title = {Modelling and systematic analysis of interactive systems},
	booktitle = {Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H)},
	year = {2012},
	month = {May},
	pages = {25-28},
	address = {London, United Kingdom},
	abstract = {<p>Two aspects of our research concern the application of formal methods in human-computer interaction. The first aspect is the modelling and analysis of interactive devices with a particular emphasis on the user device dyad. The second is the modelling and analysis of ubiquitous systems where there are many users, one might say crowds of users.The common thread of both is to articulate and prove properties of interactive systems, to explore interactive behaviour as it influences the user, with a particular emphasis on interaction failure. The goal is to develop systematic techniques that can be packaged in such a way that they can be used effectively by developers. This {\textquotedblleft}whitepaper{\textquotedblright} will briefly describe the two approaches and their potential value as well as their limitations and development opportunities. </p>
},
	url = {http://www.fmhfe.com/FormalH/FormalH.2012.Proceedings.pdf},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/formalh.2012.proceedings.pdf},
	author = {Michael Harrison and Jos{\'e} Creissac Campos and Paolo Masci and N. Thomas},
	editor = {Matthew Bolton and Asaf Degani and Philippe Palanque}
}