Schmuck, A.-K., Majumdar, R., & Leva, A. (2017). Dynamic Hierarchical Reactive Controller Synthesis. Discrete Event Dynamic Systems, 27(2), 261-299. doi:10.1007/s10626-017-0239-8.