On developing a procedural level generator based on the Model Synthesis algorithm in the context of serious games | IEEE Conference Publication | IEEE Xplore