Time model assigned to components
The current user interface for the formal analysis (e.g. model checking) asks the user to select between discrete time or hybrid time. This should not be an option for the checker, but an information of the components decided by the designer.