Added variant of the example
Merge remote-tracking branch 'progirep/oneStepRobustness' into verfication_recovery
merged recovery and real time verification together. Be sure to do sh build.sh to compilt jtlv again