When we no longer have the power to change a situation, we are challenged to change ourselves.

系统设计的未来在于将形式化方法与传统工程实践相结合。