Farjaminejad, et al.. Modeling and Evaluation of Performance and Reliability of Component-based Software Systems Using Formal Models. Association of Technology and Science, Jan. 2014, doi:10.7753/ijcatr0301.1016.