Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure | IEEE Conference Publication | IEEE Xplore