Matteo Casadei Mirko Viroli Using probabilistic model checking and simulation for designing self-organizing systems. 2103-2104 2009 SAC http://doi.acm.org/10.1145/1529282.1529747 conf/sac/2009 db/conf/sac/sac2009.html#CasadeiV09