A Formal Analytical Framework for IoT-Based Plug-And Play Manufacturing System Considering Product Life-Cycle Design Cost | IEEE Journals & Magazine | IEEE Xplore