Documenting the design of safety-critical, user interfaces | OUP Journals & Magazine | IEEE Xplore