Yes! I'm an admirer of Nancy Leveson's work for sure. A lot of what I'm focusing on developing now is how everything we know about these issues can be incorporated in the development of actual software. Even on things like type systems there is a huge gap between academia and practitioners.