Post-proceedings of the Summer School Marktoberdorf: Safety and Security of Software Systems – Logics, Proofs, Applications