Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming | IEEE Conference Publication | IEEE Xplore