@misc{
    Makela:sw-maria,
    author = {M{\"a}kel{\"a}, Marko and Varpaaniemi, Kimmo and Latvala, Timo},
    title = "Maria: The Modular Reachability Analyzer",
    url = "http://www.tcs.hut.fi/Software/maria/",
    note = "computer program",
    flags = "public",
    year = "2000",
    howpublished = "on the World Wide Web"
}