Maintainability Assessment for SOFL Formal Specifications | IEEE Conference Publication | IEEE Xplore