1 A Clock-independent Model for Real-Time