DOI,IST REx ID,Title of publication
null,4415,Compositionality in deterministic real-time embedded systems