CONCERT: a high-level-language approach to heterogeneous distributed systems | IEEE Conference Publication | IEEE Xplore