世界上充满了显而易见的事物,但没有人会去注意它们。
"The future of system design lies in the integration of formal methods with traditional engineering practices."