1. Model Based Safety Analysis and Verification of Cyber-physical Systems;Banerjee,2012
2. The Ptolemy Project;Berkeley,2017
3. Human reliability analysis for digital human-machine interfaces: a wish list for future research;Boring,2014
4. Human-computer interaction and the formal certification and assurance of medical devices: the CHI+MED project;Curzon,2014
5. Accident sequence analysis of human-computer interface design;Fan;Reliab. Eng. Syst. Saf.,2000