Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li. A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. In 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan. pages 105-112, IEEE Computer Society, 2003. [doi]
Abstract is missing.