A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation | IEEE Conference Publication | IEEE Xplore