1. Modelling and verifying time‐aware processes for cyber‐physical environments. Issue 1 (1st February 2019) Authors: Graja, Imen; Kallel, Slim; Guermouche, Nawal; Cheikhrouhou, Saoussen; Hadj Kacem, Ahmed Journal: IET software Issue: Volume 13:Issue 1(2019) Page Start: 36 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗