Application of Model Checking Techniques in Situational Method Engineering Models