@inproceedings{ff57387d84de49baa2b5c5fc4715f1e4,
title = "Model checking methodology for verification of safety logics",
keywords = "digital I&C, model checking, safety logic, verification, digital I&C, model checking, safety logic, verification, digital I&C, model checking, safety logic, verification",
author = "Janne Valkonen and Kim Bj{\"o}rkman and Juho Frits and Ilkka Niemel{\"a}",
note = "VK: modsafe",
year = "2010",
language = "English",
booktitle = "The 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010, Tampere 14.-15.6.2010",
}