"Static Analysis: Hard Real Time is Hard, "Big Time!"."

Stephen P. Masticola, Thomas J. Marlowe (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics