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