Development of concurrent systems through coordination | IEEE Conference Publication | IEEE Xplore