Olaf Chitil Source-Based Trace Exploration. 126-141 2004 conf/ifl/2004 IFL http://dx.doi.org/10.1007/11431664_8 db/conf/ifl/ifl2004.html#Chitil04