Describir: Engineering methods and tools for software safety and security