Insup LeeYASER ABDULELAH HUSSAIN ALABDULBAQI2022-06-012022-06-0134734https://drepo.sdl.edu.sa/handle/20.500.14154/59703FORMAL MODELS OF HUMAN-COMPUTER INTERACTIONS: LESSONS FROM HUMAN RELIABILITY ANALYSIS METHODSThesis