Explorer A Novel WCET semantics of Synchronous Programs