Model-Driven Dependability Assessment of Microservice Chains in MEC-Enabled IoT | IEEE Journals & Magazine | IEEE Xplore