Software and Methodological Toolkit for the Design and Development of Technical Devices in the Model-Based Systems Engineering Paradigm | IEEE Conference Publication | IEEE Xplore