C-MAC: Model-Driven Concurrent Medium Access Control for Wireless Sensor Networks