TITLE     : Statistical model checking of an energy-saving cyber-physical system in the railway domain
AUTHOR(S) : Basile D, Di Giandomenico F, Gnesi S
TYPE      : Conference article
YEAR      : 2017
CODE      : 376397

*** DO NOT EDIT THIS FILE ***