Model Checking of Real-Time Reachability Properties Using Abstractions.

Conrado Daws Stavros Tripakis Model Checking of Real-Time Reachability Properties Using Abstractions. 313-329 http://link.springer.de/link/service/series/0558/bibs/1384/13840313.htm 1998 conf/tacas/1998 TACAS db/conf/tacas/tacas98.html#DawsT98