@inproceedings{
    KindermannJunttilaNiemela:ACSD2013_tjunttil,
    author = {Kindermann, Roland and Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "IEEE",
    responsibleauthor = {Kindermann, Roland and Junttila, Tommi and Niemel{\"a}, Ilkka},
    language = "eng",
    title = "Bounded Model Checking of an {MITL} Fragment for Timed Automata",
    url = "http://dx.doi.org/10.1109/ACSD.2013.25",
    country = "Spain",
    booktitle = "13th International Conference on Application of Concurrency to System Design (ACSD)",
    issn = "1550-4808",
    juforank = "1",
    timestamp = "2013.12.04",
    flags = "LOGIC COIN HIIT copy",
    il = "no",
    eventdetails = "13th International Conference on Application of Concurrency to System Design (ACSD), July 8--10, Barcelona, Spain",
    year = "2013",
    owner = "OEK",
    unitcode = "T306-99, T312-1",
    kay = "NA",
    impactfactor = "A4",
    pages = "216--225"
}