Software development building reliable systems - Hamilton, Marc (Prentice-Hall PTR, 1999)