"The future of system design lies in the integration of formal methods with traditional engineering practices."
"The past is never dead. It’s not even past."