"Learning middleware models for verification of distributed control programs."

Ali Khalili et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics