@InProceedings{KindermannJunttilaNiemela:ACSD2011,
  author = 	 {Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}},
  title = 	 {Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks},
  url =          {http://dx.doi.org/10.1109/ACSD.2011.29},
  booktitle =    {11th International Conference on Application of Concurrency to System Design (ACSD)},
  pages = 	 {185--194},
  year = 	 {2011},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {IEEE},
  OPTnote = 	 {},
  OPTannote = 	 {}
}