Low-cost on-line fault detection using control flow assertions | IEEE Conference Publication | IEEE Xplore