Automated Veri.cation of the Dependability of Object-Oriented Real-Time Systems | IEEE Conference Publication | IEEE Xplore