Chunmin Yang, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. Formal Methods for Quality of Service Analysis in Component-Based Distributed Computing. Transactions of the SDPS, 8(2):137-149, 2004. [doi]
Abstract is missing.