//-->
Exact and approximation methods for dependability assessment of tram systems with time window
Kowalski, Marcin, (2014)
Timing analysis of safety properties using fault trees with time dependencies and timed state-charts
Magott, Jan, (2012)