How to perform verification and validation of critical infrastructure modeling tools