"Using Automated Analysis of Temporal-Aware SLAs in Logistics."

Carlos Müller, Manuel Resinas, Antonio Ruiz Cortés (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics