Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon. Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE T. Human-Machine Systems, 47(6):834-846, 2017. [doi]
Abstract is missing.