A time-triggered lambda