@misc{
    SMUML/proco2,
    author = "Junttila, Tommi",
    responsibleauthor = "Tommi Junttila",
    title = "{SMUML}/proco version 2.00 --- A Translator from {UML} Models to {Promela}",
    url = "http://www.tcs.hut.fi/Research/Logic/SMUML.shtml",
    note = "Computer program",
    flags = "SOFTWARE SMUML",
    year = "2007",
    impactfactor = "G=computer_software"
}