Added a few references and re-ran sim coverage calc. Results were from before fixing a bug.
Tweaked motivating example reference.