Zaid Al-bayati, With an exceptional h-index of 8 and a recent h-index of 7 (since 2020), a distinguished researcher at McGill University, specializes in the field of Embedded Systems, Real-Time Systems, Mixed-Criticality Systems, Formal Verification.