Laurent Mounier Ludovic Samper Wassim Znaidi Worst-case lifetime computation of a wireless sensor network by model-checking. 1-8 2007 PE-WASUN http://doi.acm.org/10.1145/1298197.1298199 conf/pe-wasun/2007 db/conf/pe-wasun/pe-wasun2007.html#MounierSZ07