Building Event-B Interlocking Theories: Lessons Learned using the