Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies | IEEE Conference Publication | IEEE Xplore