@article{2dbd6b1ebee64c53afea505f55a765ec,
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",
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 = "Institution of engineering and technology",
number = "6",
}