D
[DY95] Conrado Daws and Sergio Yovine. Two examples of verification of multirate timed automata with Kronos. In RTSS'95, pages 66-75. IEEE Comp. Soc. Press, December 1995. 
@inproceedings{rtss1995-DY,
  author =              {Daws, Conrado and Yovine, Sergio},
  title =               {Two examples of verification of multirate timed
                         automata with {K}ronos},
  booktitle =           {{P}roceedings of the 16th {S}ymposium on {R}eal-Time
                         {S}ystems ({RTSS}'95)},
  acronym =             {{RTSS}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {66-75},
  year =                {1995},
  month =               dec,
}
List of authors