Integration of Correct-by-Construction BIP models into the MetroII Design Space Exploration Flow