1. A method, comprising: for a traffic specification comprised of transactions that are specified using one or more groups of transmitting and receiving interfaces, identifying valid sequences of messages between individual ones of the transmitting and receiving interfaces that can occur during Network on Chip (NoC) system operation.