A Structured Methodology For Unifying Functional Analysis With Systems Analysis To Enhance System Behavior Knowledge