SoftDock: a distributed collaborative platform for model-based software development | IEEE Conference Publication | IEEE Xplore