Change of Windows Domain on Servers and All Workstations

Hello,

My company is rebranding itself and wants to make the domain shorter (12 to 4 characters).

Changing the company website is a simple task. But along with that we also have to change lot of other things.

The following are dependent on domain name and will need to Be changed. :

1. Windows Server 2016 (DC, DNS, File, etc). Basically all the servers.
2. Office 365 domain name.
3. Azure AD Sync
4. Approx. 200 Workstations.

These are the services that are at top of my head that will need to Be changed.

Is there any easy way of doing the same, some software / scripts?

Please let me know thoughts / comments on this.

Thanks. Help is much appreciated.