Modeling Interdependence of Users in Massively Distributed Decision Support Systems: Are We Pushing the Limits of PEPA-based Modeling? - Goldstein, Anat; Ariav, Gad (Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities, 2010)