Based B Extraction of QNoC architecture properties