Civil Aircraft Auto Brake System Development Using Model-Based Systems Engineering | IEEE Conference Publication | IEEE Xplore