Design of dependable real-time systems (extended abstract) | IEEE Conference Publication | IEEE Xplore