Generation of Execution Sequences for Modular Time-dependent Systems