"GenoM3 Templates: from Middleware Independence to Formal Models Synthesis."

Mohammed Foughali, Félix Ingrand, Anthony Mallet (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics