We thank all participants of our Dagstuhl Seminar “Randomized Timed and Hybrid Models for Critical Infrastructures” for the great discussions.