ELSY PROJECT: SPECIFICATION OF THE CONTAINMENT SYSTEM