Every hour, she thinks, someone forges the rings, someone carves the cradle, someone loses the war.
"The future of system design lies in the integration of formal methods with traditional engineering practices."