@INPROCEEDINGS{MM2013b,
  author = {Mallet, Frederic and Millo, Jean-Vivien and de Simone, Robert},
  title = {Safe CCSL specifications and marked graphs},
  booktitle = {Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh
	IEEE/ACM International Conference on},
  year = {2013},
  pages = {157-166},
  keywords = {Clocks;Delays;Safety;Schedules;Semantics;Synchronization;Unified modeling
	language}
}