J Laprie - Fourth IEEE International Symposium on Network …, 2005 - ieeexplore.ieee.org
The current state-of-knowledge and state-of-the-art reasonably enable the construction and
operation of critical systems, be they safety-critical or availability-critical. The situation …