Compositional modeling in metropolis (2002)

by G Goessler, A Sangiovanni-Vincentelli
Venue:In Second International Workshop on Embedded Software (EMSOFT