Lessons Learned from Containment Verification – Case Studies