Wing Yee Au Daniel Weise Scott Seligman Automatic Generation of Compiled Simulations through Program Specialization. 205-210 1991 DAC http://doi.acm.org/10.1145/127601.127665 db/conf/dac/dac91.html#AuWS91