Almohammad, Ali (2013) Rigorous code generation for distributed real-time embedded systems. Doctoral thesis, Northumbria University.
