Chia-Chu Chiang, Roger Y. Lee: Formal Verification of Structured Analysis and Design in HOS. SERA 2005: 282-287