Hierarchical control flow matching for source-level simulation of embedded software | IEEE Conference Publication | IEEE Xplore