Foundations for the Run-time Analysis of Software Systems (2000)

by Mahesh Viswanathan