@misc{
    MaRiA10,
    author = {M{\"{a}}kel{\"{a}}, Marko and Latvala, Timo and Varpaaniemi, Kimmo},
    title = "{M}a{R}i{A} 1.0 --- a Modular Reachability Analyzer",
    url = "http://www.tcs.hut.fi/Software/maria/",
    abstract = "MaRiA is a modular reachability analyzer for task-specific frontends. It is designed for easy extension with new frontends and experimental analysis modules. The first frontends are made for the Z105 (SDL and ASN.1) and for TNSDL (a SDL-88 based programming language used at Nokia Networks). The internal verification model in MaRiA is a Petri net, very close to an algebraic Petri net (or coloured net).",
    month = "November",
    note = "Software",
    keywords = "Petri nets, data types, reachability analysis, high-level specifications, SDL",
    flags = "public,copy,SOFTWARE,ANNA-MARIA",
    year = "2001",
    howpublished = "Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland"
}