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)) ;
}