//This file was generated from (Academic) UPPAAL 4.1.1 (rev. 4276), March 2009

/*

*/
E<> (Sender.SendA==1 and Reciver.ReceiverB == 1) or (Sender.SendA==1 and Reciver.ReceiverC == 1) or (Sender.SendC==1 and Reciver.ReceiverA == 1) or (Sender.SendC==1 and Reciver.ReceiverD == 1)