@inproceedings{20a5bf1cd2e74984a251125e89220cf8,
title = "Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks",
keywords = "NuSMV, region abstraction, safety instrumented systems, symbolic model checking, timed systems, NuSMV, region abstraction, safety instrumented systems, symbolic model checking, timed systems, NuSMV, region abstraction, safety instrumented systems, symbolic model checking, timed systems",
author = "Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}",
note = "VK: stmcdes hiit",
year = "2011",
doi = "10.1109/ACSD.2011.29",
language = "English",
isbn = "978-1-61284-974-4",
series = "International Conference on Application of Concurrency to System Design. Proceedings ",
publisher = "IEEE",
pages = "185--194",
booktitle = "11th International Conference on Application of Concurrency to System Designg, (ACSD 2011)",
address = "United States",
}