Lessons about using Contract-based Design (CBD) in FASTEN: