A METHOD FOR FORMALIZING REQUIREMENTS INTEROPERATION IN COMPLEX SYSTEMS ENGINEERING. Issue 4 (December 2015)