A Model-Based Development of Information and Control Systems