Belzner, Lenz and De Nicola, Rocco and Vandin, Andrea and Wirsing, Martin Reasoning (on) service component ensembles in rewriting logic. In: Specification, Algebra, and Software. Lecture Notes in Computer Science (8373). Springer Berlin Heidelberg, pp. 188-211. ISBN 978-3-642-54623-5 (2014)