Systems Engineering and Architecting: Creating Formal Requirements