Stav dette: Практические методы построения надежных цифровых систем. Проектирование, производство, эксплуатация