Generation of distributed system test-beds from high-level software architecture descriptions | IEEE Conference Publication | IEEE Xplore