@article{b65d36aa937a486796d648c8c7a80aee,
title = "Efficient Model Checking of PSL Safety Properties",
keywords = "bug hunting tool, industrial property specification language, model checking, NuSMV 2, open source model, PSL, safety properties, bug hunting tool, industrial property specification language, model checking, NuSMV 2, open source model, PSL, safety properties, bug hunting tool, industrial property specification language, model checking, NuSMV 2, open source model, PSL, safety properties",
author = "Tuomas Launiainen and Keijo Heljanko and Tommi Junttila",
note = "VK: stmcdes dc hiit",
year = "2011",
doi = "10.1049/iet-cdt.2010.0154",
language = "English",
volume = "5",
pages = "479--492",
journal = "IET Computers and Digital Techniques",
issn = "1751-8601",
publisher = "Hindawi Publishing Corporation",
number = "6",
}