Henzinger, T. A., Krishnan, S., Kupferman, O., &; Mang, F. (2002). Synthesis of uninitialized systems. In Proceedings of the 29th International Colloquium on Automata, Languages and Programming (Vol. 2380, pp. 644–656). Malaga, Spain: Springer.https://doi.org/10.1007/3-540-45465-9_55