Analyzing multi-agent systems with probabilistic model checking approach - Song, S. (2013)
10.1109/ICSE.2012.6227085