A novel approach for system level synthesis of multi-core system architectures from TPG models | IEEE Conference Publication | IEEE Xplore