VVI requirements introduced
VVI requirements linked
Test started for VVI, errors corrected in the model
Simple verification for VVI made
Tmp analysis results deleted
Verification corrected