Describir: Trustworthy distributed systems through integrity−reporting (invited book chapter)