Infinite time regular synthesisB. PiccoliESAIM: COCV, 3 (1998) 381-405DOI: https://doi.org/10.1051/cocv:1998117