Architecting Resilient Systems - Jackson (IEEE, 2003)