The cost and schedule required to design and develop modern computer based systems has grown dramatically over the past decade. Advanced system engineering development methods and automation techniques are required to manage the complexity inherent in the design of large complex computer based systems to provide an efficient means for evaluating various requirements options. OML is an approach,...