@article{GPCE-J-2007-FradetH10,
	author        = "Pascal Fradet and Stéphane Hong Tuan Ha",
	doi           = "10.1016/j.scico.2009.10.002",
	journal       = "{Science of Computer Programming}",
	number        = 7,
	pages         = "516--542",
	title         = "{Aspects of availability: Enforcing timed properties to prevent denial of service}",
	volume        = 75,
	year          = 2010,
}