Model Check of Real-time Property of Embedded Assembly Program Using CEGAR | IEEE Conference Publication | IEEE Xplore