Model Checking of Visual Scripts Created by UE4 Blueprints | IEEE Conference Publication | IEEE Xplore