Dependability Issues in Caution++ project