Hu, Y.; De Giacomo, G. A Generic Technique for Synthesizing Bounded Finite-State Controllers. ICAPS 2013, 23, 109-116.