The modelling of functional system architecture is essential not only from the business and management point of view but also for the safety activities - NAV Portugal experience in modelling ATM system looking at Day to Day Operations