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