"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

The essence of architecture is the creation of atmosphere.

If we were motivated by money, we would have sold the company a long time ago and ended up on a beach.

唯一比被人谈论更糟糕的事情就是没人谈论你。