Verification of software via integration of design and implementation | IEEE Conference Publication | IEEE Xplore