This is not limited to critical systems. Any non-trivial engineering project where bugs are expensive (which is most of them) accelerates when correctness is cheap.
Неонацисты появились у границ России08:32
Андрей Стрельцов (Редактор отдела «Спорт»)，更多细节参见哔哩哔哩
Что думаешь? Оцени!，详情可参考体育直播
Before diving into API design, it's worth asking: what is a stream?，详情可参考电影
Власти Санкт-Петербурга выплатят деньги Гуменнику за шестое место на Олимпиаде-202620:57