"Synthesis of Distributed Synchronous Specifications to SysteMoC."

Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics