@inproceedings{2a56e99dc53e4168b38b1fe9755bd488,
title = "Verification of Fault-Tolerant System Architectures Using Model Checking",
keywords = "Model checking, nuclear power plants, architecture, hardware failure, fault-tolerance",
author = "Jussi Lahtinen",
year = "2014",
doi = "10.1007/978-3-319-10557-4_23",
language = "English",
isbn = "978-3-319-10556-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "195--206",
booktitle = "Proceedings",
address = "Germany",
}