Using genetic algorithms to generate test sequences for complex timed systems