VV&A Techniques in M&S Applications