%0 Journal Article
%T Deriving Specifications of Control Programs for Cyber Physical Systems
%A Burns,, Alan
%A Hayes, Ian, J
%A Jones, Cliff, B
%J The Computer Journal
%V Advance Article
%@ 0010-4620
%D 2020-05-20
%I Oxford University Press
%~ DeepDyve