@mastersthesis{
    juslinv,
    author = "Juslin, Veli-Pekka",
    owner = "OEK",
    school = "Aalto University",
    year = "2010",
    address = "Espoo, Finland",
    title = "A Practical Model Checking Approach Using SATABS"
}