Eventrons: a safe programming construct for high-frequency hard real-time applications.