@article{fec72f087f8441aea22895ddacae96c4,
title = "Verifying large modular systems using iterative abstraction refinement",
keywords = "iterative abstraction refinement, model checking, validation, verification, iterative abstraction refinement, model checking, validation, verification, iterative abstraction refinement, model checking, validation, verification",
author = "Jussi Lahtinen and Tuomas Kuismin and Keijo Heljanko",
note = "VK: C-7603-2011; Heljanko, K.",
year = "2015",
doi = "10.1016/j.ress.2015.03.012",
language = "English",
volume = "139",
pages = "120--130",
journal = "Reliability Engineering and System Safety",
issn = "0951-8320",
publisher = "Elsevier",
}