@conference {3332,
	title = {Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web},
	booktitle = {Workshop on Integrated Formal Development Environment (F-IDE 2016), co-located with FM2016},
	year = {2016},
	publisher = {EPTCS},
	organization = {EPTCS},
	address = {Cyprus},
	attachments = {https://haslab.uminho.pt/sites/default/files/saulosilva/files/f-ide2016-camera-ready.pdf},
	author = {Fayollas, Camille and Martinie, C{\'e}lia and Philippe Palanque and Paolo Masci and Harrison, Michael D and Campos, Jos{\'e} C and Silva, Saulo R}
}