A first approach to the closed-form specification and analysis of an autonomic control system