System level performance modeling of a complex high-speed packet switch:modeling PRIZMA-T using POOSL