@article{AA23,
	author    = {Arcile, Johan and
				Andr{\'e}, {\'E}tienne},
	title     = {Timed automata as a formalism for expressing security: A survey on theory and practice},
	journal   = {{ACM} Computing Surveys},
	doi       = {10.1145/3534967},
	year      = {2023},
	volume    = {55},
	number     = {6},
	day       = {31},
	month     = jul,
	pages	  = {1-36},
}