@misc{indiciae54c25f6b3289,
  title = {Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web},
  author = {Camille Fayollas and Célia Martinie and Philippe Palanque and Paolo Masci and Michael D. Harrison and José C. Campos and Saulo Rodrigues e Silva},
  year = {2017},
  doi = {10.4204/eptcs.240.1},
  url = {https://arxiv.org/abs/1701.08465},
  note = {Source identifier: 1701.08465}
}