//This file was generated from UPPAAL 3.4.8, Feb 2005

/*

*/

/*

*/
Tw == 0 && (RES.c || RES.c1 || RES.c2) --> Tr == 0 && (RELAY.open || RELAY.open1 || RELAY.open2)

/*

*/