Eine neue Formulierung des Problems des kürzesten Weges mit pünktlicher Ankunftssicherheit