@inproceedings{Kindermann_2011,
    doi = {10.1109/acsd.2011.29},
    url = {https://doi.org/10.1109%2Facsd.2011.29},
    year = {2011},
    month = {jun},
    publisher = {{IEEE}},
    author = {Roland Kindermann and Tommi Junttila and Ilkka Niemela},
    title = {Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks},
    booktitle = {2011 Eleventh International Conference on Application of Concurrency to System Design}
}

@inproceedings{Kindermann_2011, doi = {10.1109/acsd.2011.29}, url = {https://doi.org/10.1109%2Facsd.2011.29}, year = {2011}, month = {jun}, publisher = {{IEEE}}, author = {Roland Kindermann and Tommi Junttila and Ilkka Niemela}, title = {Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks}, booktitle = {2011 Eleventh International Conference on Application of Concurrency to System Design} }