Static and Dynamic Analysis of Timed Distributed Traces. - Parasara Sridhar Duggirala; Taylor T. Johnson; Adam Zimmerman; Sayan Mitra (RTSS, 2012)