Formal verification of structured analysis and design in HOS | IEEE Conference Publication | IEEE Xplore