// **************************************************************************
//
//    eses                   eses
//   eses                     eses
//  eses    eseses  esesese    eses   Embedded Systems Group
//  ese    ese  ese ese         ese
//  ese    eseseses eseseses    ese   Department of Computer Science
//  eses   eses          ese   eses
//   eses   eseses  eseseses  eses    University of Kaiserslautern
//    eses                   eses
//
// **************************************************************************
//
// The example is used to get familiar with flow statement
// 
// **************************************************************************




module Hybrid11(){

    //bool y;
    hybrid real x;
    hybrid real y;
    hybrid real z;
    x = x+1;
    next(x)=0.5;
    loop{
        l1,l2:flow{
            drv(x) <- 2.0 + x;
        }until(cont(x)>=1.0);
        ||
        l3,l4:flow{
            drv(y) <- 2.5 + y;
        }until(cont(y)>=5.0);
        ||
        l5,l6:flow{
            drv(z) <- 3.0 + z;
        }until(cont(z)>=5.0);
      }


}
drivenby{


 for(i = 0..4)
	pause;
}