Complexity Reduction in Developing Autonomic Systems with ASSL | IEEE Conference Publication | IEEE Xplore