. Lessons Learned from Contracts and Models