A Note on “On the Use of Model Checking for the Verification of a Dynamic Signature Monitoring Approach” [Oct 05 1555-1561]

Dynamic Signature Monitoring algorithm (DSM) is validated to have the ability to detect all the illegal interblock transitions. However, we found that there were four kinds of errors that could not be detected under certain conditions.