Stefan Edelkamp: Taming Numbers and Durations in the Model Checking Integrated Planning System. PuK 2002