Distributed application engineering: an integrated model, language and tool approach | IEEE Conference Publication | IEEE Xplore