Software Abstraction for Casual Games Using Temporal Model: An Alloy-Based Approach | IEEE Conference Publication | IEEE Xplore