@article {76,
	title = {Augmented finite transition systems as abstractions for control synthesis},
	journal = {Journal of Discrete Event Dynamic Systems},
	volume = {27},
	year = {2017},
	pages = {301{\textendash}340},
	chapter = {301},
	doi = {https://doi.org/10.1007/s10626-017-0243-z},
	author = {Petter Nilsson and Necmiye Ozay and Jun Liu}
}
