Klaus-Dieter Schubert Improvements in functional simulation addressing challenges in large, distributed industry projects. 11-14 2003 conf/dac/2003 DAC http://doi.acm.org/10.1145/775832.775836 db/conf/dac/dac2003.html#Schubert03a