Y. Hu and G. De Giacomo, “A Generic Technique for Synthesizing Bounded Finite-State Controllers”, ICAPS, vol. 23, no. 1, pp. 109-116, Jun. 2013.