Gerhard Tobermann Clemens Beckstein What's in a Trace: The Box Model Revisited. 171-187 1993 conf/aadebug/1993 AADEBUG db/conf/aadebug/aadebug93.html#TobermannB93