//This file was generated from UPPAAL 3.4.8, Feb 2005 /* */ /* */ Tw == 0 && (IRES.c || IRES.c1 || IRES.c2) --> Tr == 0 && (RELAY.open || RELAY.open1 || RELAY.open2) /* */