Analysis of the Hardware Verification of the Honeywell SCOMP | IEEE Conference Publication | IEEE Xplore