Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution.

Jan Gustafsson Andreas Ermedahl Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution. 2008 WCET http://drops.dagstuhl.de/opus/volltexte/2008/1658 conf/wcet/2008 db/conf/wcet/wcet2008.html#GustafssonE08