Emmanuel Filiot Naiyong Jin Jean-François Raskin Compositional Algorithms for LTL Synthesis. 112-127 2010 ATVA https://doi.org/10.1007/978-3-642-15643-4_10 conf/atva/2010 db/conf/atva/atva2010.html#FiliotJR10