Frédéric Mallet, Jean-Vivien Millo, Robert De Simone. Safe CCSL Specifications and Marked Graphs. Roncken, Marly and Talpin, Jean-Pierre.
MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Oct 2013, Portland, United States. IEEE CS, pp.157-166, 2013,
〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6670955〉.
〈hal-00913962〉