@inproceedings{duggirala2012static,
  title={Static and dynamic analysis of timed distributed traces},
  author={Duggirala, Parasara Sridhar and Johnson, Taylor T and Zimmerman, Adam and Mitra, Sayan},
  booktitle={Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd},
  pages={173--182},
  year={2012},
  organization={IEEE}
}