@misc{
    SMUML-Suboco-1.10,
    author = "Dubrovin, Jori",
    note = "Computer program",
    title = "{SMUML}/{Suboco} 1.10 --- an {SMT}-based {UML} bounded model checker",
    url = "http://www.tcs.hut.fi/Research/Logic/SMUML.shtml",
    responsibleauthor = "Dubrovin, Jori",
    flags = "SOFTWARE SMUML",
    year = "2007",
    keywords = "SMUML, UML, satisfiability modulo theories, bounded model checking, verification",
    impactfactor = "G=computer_software"
}