@inproceedings{
    Makela:lncs,
    editor = "Husberg, Nisse and Janhunen, Tomi and Niemelä, Ilkka",
    author = {M{\"a}kel{\"a}, Marko},
    publisher = "Helsinki University of Technology",
    title = "Modular Reachability Analyser",
    booktitle = "Leksa Notes in Computer Science: Festschrift in Honour of Professor {Leo} {Ojala}",
    abstract = "The Laboratory for Theoretical Computer Science, formerly Digital Systems Laboratory, has a long tradition in developing tools and algorithms for analysing distributed systems. The aim of the three-year research project Maria, financed by the National Technology Agency of Finland (TEKES) and by private companies, was to develop a tool capable of analysing real-world industrial systems. This is the last research project supervised by Professor Ojala, the founder of the laboratory, and also the biggest one he has supervised during his career.",
    month = "October",
    flags = "public",
    year = "2000",
    pages = "75--85"
}