Rare events and worst-case execution times