@conference {3331,
	title = {Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems},
	year = {2016},
	publisher = {EPTCS},
	organization = {EPTCS},
	address = {Cyprus},
	attachments = {https://haslab.uminho.pt/sites/default/files/saulosilva/files/phd-symposium-fm2016-camera-ready.pdf},
	author = {Silva, Saulo R}
}