Compositional synthesis of concurrent systems through causal model checking and learning - Lin, S.-W. (2014)
10.1007/978-3-319-06410-9-29