Visualizing a Temporal Consistence Checker. - Jixin Ma 001; Brian Knight; Miltos Petridis; Amin Mineh (IV, 2005)