Using a SPECTRUM Event Procedure to assert event based on time