MSR AG VHDL-AMS, 10/07/00
ARCHITECTURE  behaviour OF bouncing_ball IS
BEGIN
     pos'dot == vel;  -- announce discontinuity and reset velocity value
     BREAK vel => -vel WHEN NOT pos'above( 0.0);
     IF vel > 0.0 USE
        vel'dot == -g/m - vel** 2* air_res;
     else
        vel'dot == -g/m + vel** 2* air_res;
     END use;
END ARCHITECTURE;
Example of Real-Time Subset
(VHDL-AMS-RT)