// This file was generated from UPPAAL 3.4.9, June 2005
// Copyright (c) 2005, Oskar Wibling

/*

*/
A[] not deadlock

/*

*/
A<> route_setup

/*

*/
A<> message_delivered