A modeling strategy with event structures for hybrid systems

Abstract
No abstract available