An introduction to system analysis techniques /Mark Lejk, David Deeks