Nilsson, P. ., Ozay, N. ., & Liu, J. . (2017). Augmented finite transition systems as abstractions for control synthesis. Journal of Discrete Event Dynamic Systems, 27, 301\textendash340. https://doi.org/https://doi.org/10.1007/s10626-017-0243-z