Automatic generation of behavioral specification in autonomic systems timed reactive model