Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. - Rüdiger Ehlers; Daniel Fass; Michael Gerke 002; Hans-Jörg Peter (RTSS, 2010)