Aspects of availability: Enforcing timed properties to prevent denial of service