A Formal Model for Network Processor Workload. - Xiao Ming Zhang; Zhi Gang Sun; Min Xuan Zhang (NPC, 2005)