Observation, Theory, and Simulation of Integrated Concurrent Engineering: Grounded Theoretical Factors and Risk Analysis Using Formal Models