Model-based validation of QoS properties of biomedical sensor networks
The omnet++ discrete event simulation system