The Space Shuttle probabilistic risk assessment framework A structured multiphase multi-layer modeling approach for large and complex engineered systems | IEEE Conference Publication | IEEE Xplore