David F. Bacon Perry Cheng David Grove TuningFork: a platform for visualization and analysis of complex real-time systems. 854-855 2007 conf/oopsla/2007c OOPSLA Companion http://doi.acm.org/10.1145/1297846.1297923 db/conf/oopsla/oopsla2007c.html#BaconCG07