John A. Stankovic

“Almost all computer systems of the future will utilize real-time scientific principles and technology.”

“A great challenge lies ahead in the modeling and verification of systems that are subject to timing constraints.”