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

/*

*/
E<> ( w==1 )

/*

*/
A[] ( Q.q1 imply y<=0 ) 

/*

*/
A[](P.p1 and Q.q1 and x>=y imply y==0)