Emil Vassev, Mike Hinchey. Complexity Reduction in Developing Autonomic Systems with ASSL. In Vera Werneck, Karin Breitman, editors, 33rd Annual IEEE Software Engineering Workshop, SEW 2009, Skövde, Sweden, 13-14 October, 2009. pages 87-93, IEEE Computer Society, 2009. [doi]
Abstract is missing.