Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints | IEEE Conference Publication | IEEE Xplore