Modelling Life Cycle Of Very Complex Systems: Aircraft Carrier Case Study