%0 Journal Article
%K Temporal logic
%B Theoretical Computer Science
%D 2015
%G eng
%P 3 - 25
%R http://dx.doi.org/10.1016/j.tcs.2015.02.046
%T System design of stochastic models using robustness of temporal properties
%U http://www.sciencedirect.com/science/article/pii/S0304397515002224
%V 587