Modeling and analysis for time redundant systems with a given mission window. (January 2019)