@misc{
    MaRiA10,
    author = {M{\"a}kel{\"a}, Marko and Latvala, Timo and Varpaaniemi, Kimmo},
    title = "Maria 1.0---Modular Reachability Analyser",
    url = "http://www.tcs.hut.fi/Software/maria/",
    abstract = "Maria is a modular reachability analyzer for task-specific front-ends. It is designed for easy extension with new frontends and experimental analysis modules. The first front-ends have been made for the ITU-T Z.100 SDL-96 and for TNSDL (an 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 = "ANNA-MARIA public",
    year = "2001",
    howpublished = {Teknillinen korkeakoulu, Tietojenk{\"a}sittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland}
}