1 Table of Contents: “...: the Past, Future, and Open Challenges...”

2 Table of Contents: “... Checking Statistical Model Checking Past, Present, and Future -- An Effective Heuristic for Adaptive...”

3 Table of Contents: “... in formal design models: An ontology based approach -- A retrospective of the past four years with Industry...”

4 Table of Contents: “...Statistical Model Checking: Past, Present and Future -- Hypothesis testing for rare-event...”