Ali Almohammad: Rigorous code generation for distributed real-time embedded systems. Northumbria University, Newcastle upon Tyne, UK 2013