Yuval Shahar, Cleve Cheng: Model-Based Visualization of Temporal Abstractions. Comput. Intell. 16(2): 279-306 (2000)