Werner Stephan, Susanne Biundo: Multilevel Refinement Planning in an Interval-Based Temporal Logic. EPIA 1995: 483-487