void monitorTemperature() throws @Critical TemperatureException { ... }