Why the Expressive Power of Programming Languages such as Ada Is Needed for Future Cyber Physical Systems -- Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model -- Eliminating Data Race Warnings Using CSP -- Real-Time Stream Processing in Java -- Addressing the Regression Test Problem with Change Impact Analysis for Ada -- Test Case Prioritization Using Online Fault Detection Information -- An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine -- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development -- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance -- Kronecker Algebra for Static Analysis of Barriers in Ada -- An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling -- The Polling Effect on the Schedulability of Distributed Real-Time Systems -- Combining Time-Triggered Plans with Priority Scheduled Task Sets. .