VARIABLES [x1,x2]
MODES [ m1,m2 ]
STATESPACE 
  m1[[4,6],[0,1]]
  m2[[4,6],[1,2]]
INITIAL 
  m1{(x1-5.5)^2+(x2-0.25)^2<=0.0625}
FLOW
  m1{x1=(1-x1_d)^2/\x1_d<0}{4*x1*x2=(x1+x2-x2_d^2)^2/\x1+x2-x2_d^2>=0/\x2_d>0}
  m2{x1-x2=x1_d^2-2*x1_d/\x1_d<0}{(x1+1-x2_d^2)^2=4*(x1-x2+1)*x2/\x1+1-x2_d^2>=0/\x2_d>0}
JUMP
  m1->m2{[[x2>=0.99/\x2<=1]/\[x1'=x1/\x2'=1]]}
UNSAFE
  m1{(x1-4.5)^2+(x2-0.25)^2<0.0625}