A tool for model-based engineering