Using mission logic for embedded testing | IEEE Conference Publication | IEEE Xplore