@phdthesis{LatvalaLic,
author = {Latvala, Timo},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {On Model Checking Safety Properties},
type = {Licentiate's thesis},
year = {2002},
}