A Formalised Real-time Concurrent Programming Model for Scalable Parallel Programming