Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure.

Yajun Wu, Satoshi Yamane

Browse the full COMPSAC paper archive.