@misc {IOPORT.70643013,
    author       = {Ehlers, R\"udiger and Fass, Daniel and Gerke, Michael and Peter, Hans-J\"org},
    title        = {Fully symbolic timed model checking using constraint matrix diagrams},
    howpublished = {RTSS, 360-371 (2010).},
    year         = {2010},
    doi          = {10.1109/RTSS.2010.36},
    identifier   = {70643013},
}