Maximilian Frey Andreas Weininger Using temporal logic specifications to debug parallel programs. 97-100 1993 39 Microprocessing and Microprogramming 2-5 http://dx.doi.org/10.1016/0165-6074(93)90065-S db/journals/jsa/jsa39.html#FreyW93