Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos