The development and testing of the behavioural model used is described in part II.

The reliability expression of dynamic driving behavior is derived from the driving shaping behavioural model;

The core of the self-healing system is its runtime behavioural automata model which determines the design of the architecture.