TITLE     : A refinement approach to analyse critical cyber-physical systems. Extended Version
AUTHOR(S) : Basile D, Di Giandomenico F, Gnesi S
TYPE      : Other
YEAR      : 2017
CODE      : 369109

*** DO NOT EDIT THIS FILE ***