Composing real-time applications from communicating black-box components.

Martin Becker, Alejandro Masrur, Samarjit Chakraborty

Browse the full ASPDAC paper archive.