@mastersthesis{
    ellonen2010,
    author = "Ellonen, Sakari",
    school = "Aalto University, School of Science and Technology, Faculty of Information and Natural Sciences",
    title = "Synthesis of {M}oore machines from {LTL} Specifications",
    address = "Espoo, Finland",
    month = "Dec",
    flags = "DC",
    year = "2010",
    pdf = "dippaellonen.pdf"
}