Formal Procedural Content Generation in Games Driven by Social Analyses | IEEE Conference Publication | IEEE Xplore