On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications.

article by Christian Brenner et al published 2015 in Lecture Notes in Computer Science