@phdthesis{
    Jussila2005,
    author = "Jussila, Toni",
    school = "Helsinki University of Technology, Laboratory for Theoretical Computer Science Research Reports 97",
    title = "On Bounded Model Checking of Asynchronous Systems",
    url = "http://lib.tkk.fi/Diss/2005/isbn9512279045/",
    address = "Espoo, Finland",
    year = "2005",
    owner = "MM",
    impactfactor = "G4"
}