@Periodical{Garavel2003,
  title   = {Special issue on the Fifth International Workshop of the \{ERCIM\} Working Group on Formal Methods for Industrial Critical Systems},
  subtitle  = {Berlin, April 3-4, 2000. Selected papers},
  doi     = {10.1016/S0167-6423(02)00091-6},
  issn    = {0167-6423},
  note    = {Special issue on Formal Methods for Industrial Critical Systems},
  volume  = {46, no. 3},
  author  = {Hubert Garavel and Stefania Gnesi and Ina Schieferdecker},
  file    = {:2003/Garavel2003 - Special Issue on the Fifth International Workshop of the ERCIM_ Working Group on Formal Methods for Industrial Critical Systems.pdf:PDF},
  journal = {Science of Computer Programming},
  pages   = {195--196},
  type    = {editorial},
  year    = {2003}
}