How to Design Scheduling Solutions for Smart Manufacturing Environments Using RAMI 4.0? | IEEE Journals & Magazine | IEEE Xplore