// **************************************************************************
//
//    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 Hybrid15(){
  hybrid real x;
  x =0.0;
  loop {
    flow{
      drv(x)<- 1.0;
    }until(cont(x) >= 2.0);
    if(time <= 0.5)
    {
      next(x)= 0.0;
      pause;
    }
    
  }
}

drivenby Test01{


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