Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan. Transaction integration for reusable hard real-time components. In 1st High-Assurance Systems Engineering Workshop (HASE 96), October 22, 1996, Niagara, Canada, Proceedings. pages 166-175, IEEE Computer Society, 1996. [doi]
Abstract is missing.