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