ISAC-2016-I06ΒΆ

Repair example in Section 7.3.2.1