Checking Critical Software Systems: A Formal Proposal | IEEE Conference Publication | IEEE Xplore