P. Madhusudan Model-checking Trace Event Structures. 371-380 2003 conf/lics/2003 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210077 db/conf/lics/lics2003.html#Madhusudan03