Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Paolo Masci 001; Michael D. Harrison; José Creissac Campos; Saulo Rodrigues e Silva (F-IDE@FM, 2016)

Hazard analysis in user interfaces - Saulo Rodrigues e Silva (2024)