Concurrency in dependable computing (Kluwer Academic Publishers, 2002)
Includes bibliographical references and index