Uploaded final version of ICCPS BigActors paper.