Procedural content generation of level layouts for Hotline Miami | IEEE Conference Publication | IEEE Xplore