Fayollas C, Martinie C, Palanque P, Masci P, Harrison MD, Campos JC, Silva SR.? 2016.??Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web. Workshop on Integrated Formal Development Environment (F-IDE 2016), co-located with FM2016.