Concurrency in Dependable Computing door Paul Ezhilchelvan & Alexander Romanovsky