Introduction: added a few lines on the methodology for performing the check, and contributions. Also on the loss-of-efficiency statistics.
Conclusions: added a few lines on the general applicability of the approach on other systems.