@misc{
    SMUML-Uboco-1.10,
    author = "Dubrovin, Jori",
    note = "Computer program",
    title = "{SMUML}/{Uboco} 1.10 --- a translator from {UML} models to {NuSMV} programs",
    url = "http://www.tcs.hut.fi/Research/Logic/SMUML.shtml",
    responsibleauthor = "Dubrovin, Jori",
    flags = "SOFTWARE SMUML",
    year = "2007",
    keywords = "SMUML, UML, bounded model checking, verification",
    impactfactor = "G=computer_software"
}