Text this: High- Assurance Design: architecting secure and reliable enterprise applications