@misc{
    SMUML-canal-1.0.0,
    author = "Ojala, Vesa",
    note = "Computer program",
    title = "{SMUML}/canal 1.0.0 --- a counterexample analysator for analyzing abstract counterexamples from data abstracted {UML} models",
    url = "http://www.tcs.hut.fi/Research/Logic/SMUML.shtml",
    responsibleauthor = "Vesa Ojala",
    flags = "SOFTWARE SMUML",
    year = "2007",
    keywords = "SMUML, UML, data abstraction, counterexample analysis",
    impactfactor = "G=computer_software"
}