Mathematical design ; building reliable complex computer systems - NY I E E E Press 1998