@Article{LauniainenHeljankoJunttila:IET2011,
  author = 	 {Launiainen, Tuomas and Heljanko, Keijo and Junttila, Tommi},
  title = 	 {Efficient model checking of PSL safety properties},
  journal = 	 {IET Computers and Digital Techniques},
  year = 	 {2011},
  volume = 	 {5},
  number = 	 {6},
  pages = 	 {479--492},
  OPTmonth = 	 {nov},
  url =          {http://dx.doi.org/10.1049/iet-cdt.2010.0154}
}