Formalise ownership and dependence relations between objects
The ownership and dependence relations between the different objects should be formalised in Lima. For instance, CtControl refers to a HwInterface object, but the objects can be in general destroyed in an independent way. The use of automatic pointers (AutoPtr or shared_ptr) should be extended.