Reliable computer systems - design and evaluation (3. ed.)