ISAC-2016-I09ΒΆ

Repair example in Section 5.6.3