Comment by sn9

I've only skimmed my way through it, but it seems like the bulk of the research started in 2000 so it would be fairly new.

It might still be just academic research at this point, but it at least seems to show some pretty interesting abstractions with which to analyze systems.

It came out in 2013, so if it is used in industry after that point, the book wouldn't say and you'd have to go hunting for whitepapers that cite the research probably.