void launch() { do { if (is-time(Tminus(00, 00, 06, 60))) start-main-engine-3(); if (is-time(Tminus(00, 00, 06, 48))) start-main-engine-2(); if (is-time(Tminus(00, 00, 06, 36))) start-main-engine-1(); if (is-time( Tplus(00, 00, 00, 00))) { ignite-SRBS(); release-SRBS(); } } while (! is-time(Tplus(00, 00, 00, 01)) ; }