David Sinclair Eckhardt Holz Dorota Witaszek Maciej Wasowski Validation of Hybrid Systems by Co-simulation. 315-326 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#SinclairHWW95