Abraham Mendelson Dominique Thiébaut Dhiraj K. Pradhan Modeling Live and Dead Lines in Cache Memory Systems. 1-14 1993 42 IEEE Trans. Computers 1 db/journals/tc/tc42.html#MendelsonTP93