Validation of Hybrid Systems by Co-simulation. - David Sinclair; Eckhardt Holz; Dorota Witaszek; Maciej Wasowski (Hybrid Systems, 1995)