A METHOD FOR FORMALIZING REQUIREMENTS INTEROPERATION IN COMPLEX SYSTEMS ENGINEERING. Issue 4 (December 2015) - Szejka, Anderson Luis; Aubry, Alexis; Panetto, Hervé; Canciglieri, Osiris; Rocha Loures, Eduardo