Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software | IEEE Conference Publication | IEEE Xplore