Using Model Checking to Detect Simultaneous Masking in Medical Alarms. - Bassam Hasanain; Andrew D. Boyd; Matthew L. Bolton (IEEE Trans. Hum. Mach. Syst., 2016)

A new approach to stabilize diabetes systems with time-varying delays and disturbance rejection. - S. Syafiie; Fahd Alharbi; Abdullah Ali Alshehri; Bassam Hasanain (J. Frankl. Inst., 2024)