K. H. (Kane) Kim. Systematic Composition and Analyzability of Dependable Networked Embedded Computing Systems. In 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006),2-4 October 2006, Leeds, UK. pages 339-340, IEEE Computer Society, 2006. [doi]
Abstract is missing.