Vittorio Cortellessa Catia Trubiani Towards a library of composable models to estimate the performance of security solutions. 145-156 2008 WOSP http://doi.acm.org/10.1145/1383559.1383579 conf/wosp/2008 db/conf/wosp/wosp2008.html#CortellessaT08