Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.
Camille FayollasCélia MartiniePhilippe A. PalanquePaolo MasciMichael D. HarrisonJosé Creissac CamposSaulo Rodrigues e SilvaPublished in: F-IDE@FM (2016)