@Inproceedings{EPTCS240.1,
  author    = {Fayollas, Camille and Martinie, C\'elia and Palanque, Philippe and Masci, Paolo and Harrison, Michael D. and Campos, Jos\'e C. and Rodrigues e Silva, Saulo},
  year      = {2017},
  title     = {Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web},
  editor    = {Dubois, Catherine and Masci, Paolo and M\'ery, Dominique},
  booktitle = {{\rm Proceedings of the Third Workshop on}
               Formal Integrated Development Environment,
               {\rm Limassol, Cyprus, November 8,  2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {240},
  publisher = {Open Publishing Association},
  pages     = {1-19},
  doi       = {10.4204/EPTCS.240.1},
}