Reference:
Jussi Lahtinen. Model checking timed safety instrumented systems. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.
Suggested BibTeX entry:
@mastersthesis{LahtinenMsc, author = {Jussi Lahtinen}, school = {Helsinki University of Technology, Department of Information and Computer Science}, title = {Model Checking Timed Safety Instrumented Systems}, year = {2008}, }