Excellent, will check it out, thank! Actually just looked at the wiki page, that's enough for me to order it today. In return may I offer this absolutely bitc

Excellent, will check it out, thank! Actually just looked at the wiki page, that's enough for me to order it today. In return may I offer this absolutely bitchin' tome Safeware by Nancy Leveson https://www.amazon.co.uk/Safeware-System-Safety-Computers-19/dp/0201119722/ https://www.amazon.co.uk/Safeware-System-Safety-Computers-19... which I can't recommend enough. It's aimed at a lower level than your book AFAICT (lower level = less about interconnectedness of large systems) but it's a must read.