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