@inproceedings{ABLM22,
  author    = {Andr{\'e}, {\'E}tienne and Bolat, Shapagat and Lefaucheux, Engel and Marinho, Dylan},
	editor    = {Cyrille Artho and Peter Ölveczky},
	title     = {{strategFTO}: Untimed control for timed opacity},
	year      = {2022},
	longbooktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal Techniques for Safety-Critical Systems ({FTSCS} 2022)},
	booktitle = {{FTSCS}},
	location  = {Auckland, New Zealand},
	eventdate = {2022-12-07},
	publisher = {{ACM}},
	pages     = {27-33},
	doi       = {10.1145/3563822.3568013},
	keywords  = {intc},
  url       = {https://doi.org/10.1145/3563822.3568013},
  doi       = {10.1145/3563822.3568013},
}