Preserving coordination properties when transforming concurrent system components