Model-based validation of QoS properties of biomedical sensor networks
a tutorial on uppaal .