Mariëlle Stoelinga. Compositional dependability modeling using arcade: abstract for the keynote talk. In SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands. pages 1-2, ACM, 2009. [doi]
Abstract is missing.