DOI,IST REx ID,Title of publication
10.1109/JCIT.1990.128356,4510,An interleaving model for real time