@conference {Fayollas:2017,
	title = {Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web},
	booktitle = {Proceedings of the Third Workshop on Formal Integrated Development Environment},
	series = {Electronic Proceedings in Theoretical Computer Science},
	volume = {240},
	year = {2017},
	note = {<p>n/a</p>
},
	pages = {1-19},
	abstract = {<p>n/a</p>
},
	doi = {10.4204/EPTCS.240.1},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/1701.08465.pdf},
	author = {C. Fayollas and C. Martinie and P. Palanque and Paolo Masci and Michael Harrison and Campos, Jos{\'e} C and Silva, Saulo R}
}