Reference:
Matti Koskimies. Applying model checking to analysing safety instrumented systems. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.
Suggested BibTeX entry:
@mastersthesis{KoskimiesMsc, author = {Matti Koskimies}, school = {Helsinki University of Technology, Department of Information and Computer Science}, title = {Applying Model Checking to Analysing Safety Instrumented Systems}, year = {2008}, }