The art of testing network systems - Buchanan (John Wiley & Sons, 1996)