1. Deriving Specifications of Control Programs for Cyber Physical Systems. (30th April 2019) Authors: Burns, Alan; Hayes, Ian J; Jones, Cliff B Journal: Computer journal Issue: Volume 63:Number 5(2020) Page Start: 774 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗