Enabling dynamic assertion-based verification of embedded software through model-driven design | IEEE Conference Publication | IEEE Xplore