Einar Broch Johnsen. Separating Cost and Capacity for Load Balancing in ABS Deployment Models. In Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, editors, Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Volume 7866 of Lecture Notes in Computer Science, pages 145-167, Springer, 2012. [doi]