Validation and Verification Issues in a Timeline-Based Planning System

Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E

In Knowledge Engineering Review, 25(3): 299-318, 2010