%0 Journal Article %T Compositional synthesis of modular systems %A Finkbeiner, Bernd %A Passing, Noemi %J Innovations in Systems and Software Engineering %V 18 %N 3 %P 455-469 %@ 1614-5046 %D 2022-09-01 %I Springer London %~ DeepDyve