Maximilian Frey Debugging parallel programs using temporal logic specifications. 122-133 1996 conf/pds/1996 Software Engineering for Parallel and Distributed Systems db/conf/pds/pds1996.html#Frey96