@mastersthesis{
    ojalav,
    author = "Ojala, Vesa",
    owner = "OEK",
    school = "Helsinki University of Technology",
    year = "2008",
    address = "Espoo, Finland",
    title = "Counterexample Analysis for Automated Refinement of Data Abstracted State Machine Models"
}