A guide to model-based systems engineering