Added example of Insiel case study.
Updated example of Insiel case study for verification of fault
tolerance.