List of Articles Performance and Dependability Evaluation Open Access Article Abstract Page Full-Text 1 - Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism Ali Khalili Mohammad Abdollahi Azgomi