Text this: Engineering methods and tools for software safety and security