Model based systems engineering