Describir: Engineering Trustworthy Systems: A Principled Approach to Cybersecurity.