Failure-free coordinators synthesis for component-based architectures
scientific article; zbMATH DE number 5292490