"A great challenge lies ahead in the modeling and verification of systems that are subject to timing constraints."
January 1, 1970
https://en.wikiquote.org/wiki/John_A._Stankovic