Schmuck, A.-K., & Raisch, J. (2014). Constructing (Bi)Similar Finite State Abstractions using Asynchronous l-Complete Approximations. In Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on (pp. 6744-6751).