TITLE     : A refinement approach to analyse critical cyber-physical systems
AUTHOR(S) : Basile D, Di Giandomenico F, Gnesi S
TYPE      : Contribution to book
YEAR      : 2018
CODE      : 392535

*** DO NOT EDIT THIS FILE ***