A Model-Based Design Process for the SegBus Distributed Architecture | IEEE Conference Publication | IEEE Xplore