Maintaining verification test consistency between executable specifications and embedded software in a virtual system integration laboratory environment | IEEE Conference Publication | IEEE Xplore