Jürgen Schnerr Oliver Bringmann Alexander Viehl Wolfgang Rosenstiel High-performance timing simulation of embedded software. 290-295 2008 DAC http://doi.acm.org/10.1145/1391469.1391543 conf/dac/2008 db/conf/dac/dac2008.html#SchnerrBVR08