Using Automated Validation Techniques to Detect Lockups in Packet-Switched NetworksMark ShermanHarry Rudin1982IEEE Transactions on Communications