* Move memory_segment_properties to generic property sets
        * Added example for the P4080 processor
        * Added missing with clause
        * Correct the construction of AADL_SOURCES
        * Correct computation of AADL files