Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation. - Mohammed El Shobaki (EUROMICRO, 1998)

A Hardware and Software Monitor for High-Level System-on-Chip Verification. - Mohammed El Shobaki; Lennart Lindh (ISQED, 2001)