Dependable Cyber-Physical Systems.- From Finitely Many Simulations to Flowpipes.- Toward Automatic Verification of Quantum Programs.-...