@PROCEEDINGS{Graf00,
  title = {SAM2000, 2nd Workshop on SDL and MSC},
  year = {2000},
  editor = {Graf, S. and Jard, C.},
  address = {Grenoble},
  month = jun
}