Facilitating The Validation Of Adaptive Power System Protection Through Formal Scheme Modelling And Performance Verification