AVIATE Seminar “Designing Provably Safe and Secure Systems with Assume-Guarantee Contracts”