Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment