Hard real-time prototyping of SA/RT specifications.

P. J. Pulli, M. L. Salmela

Browse the full ECRTS paper archive.