Compositionality In Deterministic Real-Time Embedded Systems. door Slobodan Matic