Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic. Polychronous controller synthesis from MARTE CCSL timing specifications. In Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt, editors, 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. pages 21-30, IEEE, 2011. [doi]
Abstract is missing.