Google Test/Google Mock to Verify Critical Embedded Software. - Hafsa Cheddadi; Saad Motahhir; Abdelaziz El Ghzizal (CoRR, 2022)