TITLE     : System design of stochastic models using robustness of temporal properties
AUTHOR(S) : Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G
TYPE      : Journal article
YEAR      : 2015
CODE      : 424155

*** DO NOT EDIT THIS FILE ***