@inproceedings{ab747995975e482287b4b94b41b4507b,
title = "Verification of Safety Logic Designs by Model Checking",
keywords = "automation, digital I&C, model checking, safety logic, verification, automation, digital I&C, model checking, safety logic, verification, automation, digital I&C, model checking, safety logic, verification",
author = "Kim Bj{\"o}rkman and Juho Frits and Janne Valkonen and Jussi Lahtinen and Keijo Heljanko and Ilkka Niemel{\"a} and H{\"a}m{\"a}l{\"a}inen, {Jari J.}",
year = "2009",
language = "English",
isbn = "978-161567695-8",
pages = "324--335",
booktitle = "6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009",
}