answered 2016-12-04 17:39:11 -0500
You're right, AvailabilityManager:HighTemperatureTurnOff is not in the OpenStudio SDK yet. This was an oversight and I've filed an issue for it.
AvailabilityManager:HighTemperatureTurnOff
In the near term, you can either: