Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks

Reference:

Roland Kindermann, Tommi Junttila, and Ilkka Niemelä. Modeling for symbolic analysis of safety instrumented systems with clocks. In 11th International Conference on Application of Concurrency to System Design (ACSD), pages 185–194. IEEE, 2011.

Suggested BibTeX entry:

@inproceedings{KindermannJunttilaNiemela:ACSD2011,
    author = {Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {11th International Conference on Application of Concurrency to System Design (ACSD)},
    pages = {185--194},
    publisher = {IEEE},
    title = {Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks},
    year = {2011},
}