Dominique Méry Neeraj Kumar Singh Analysis of DSR Protocol in Event-B. 401-415 2011 SSS http://dx.doi.org/10.1007/978-3-642-24550-3_30 conf/sss/2011 db/conf/sss/sss2011.html#MeryS11