Simon Tschirner Liang Xuedong Wang Yi Model-based validation of QoS properties of biomedical sensor networks. 69-78 2008 EMSOFT http://doi.acm.org/10.1145/1450058.1450069 conf/emsoft/2008 db/conf/emsoft/emsoft2008.html#TschirnerXY08