Correct and Sustainable Development Using Model-based Engineering and Formal Methods