"The idea that you can know everything in the design stage is a fallacy that I think started with the mathematicians, who were the world's first programmers."
George V. Neville-Neil, Kode Vicious, ACM Communications, 51(7), July 2007, p.25
"If you have programs that interact with the physical environment, time becomes very important. For these systems, verification is more complicated."
Joseph Sifakis, Talking Model-Checking Technology, ACM Communications, 51(7), July 2007, p.111