Quantifying timing leaks and cost optimisation (2008)

by Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Venue:In Proc. ICICS ’08, volume 5308 of LNCS