E
[EFG+10] Rüdiger Ehlers, Daniel Fass, Michael Gerke, and Hans-Jörg Peter. Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. In RTSS'10, pages 360-371. IEEE Comp. Soc. Press, November 2010. 
@inproceedings{rtss2010-EFGP,
  author =              {Ehlers, R{\"u}diger and Fass, Daniel and Gerke,
                         Michael and Peter, Hans-J{\"o}rg},
  title =               {Fully Symbolic Timed Model Checking Using Constraint
                         Matrix Diagrams},
  booktitle =           {{P}roceedings of the 31st {IEEE} {S}ymposium on
                         {R}eal-Time {S}ystems ({RTSS}'10)},
  acronym =             {{RTSS}'10},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {360-371},
  year =                {2010},
  month =               nov,
  doi =                 {10.1109/RTSS.2010.36},
}
List of authors