Title: A protocol validator for the SCM and CFSM models