A Truly-concurrent Operational Model for Real-time Systems