@inproceedings{Mercer94-RTOSS,
key	= "Mercer94",
author	= "C. W. Mercer and R. Rajkumar and J. Zelenka",
title	= "{Temporal Protection in Real-Time Operating Systems}",
booktitle = "Proceedings of the 11th IEEE Workshop on Real-Time
Operating Systems and Software",
pages	= "79-83",
month	= may,
year	= 1994,
}