Paola Bracchi Vittorio Cortellessa A framework to model and analyze the performability of mobile software systems. 243-248 2004 conf/wosp/2004 WOSP http://doi.acm.org/10.1145/974044.974082 db/conf/wosp/wosp2004.html#BracchiC04