Optimizing Stateful Microservice Migration in Kubernetes with MS2M and Forensic Checkpointing | IEEE Conference Publication | IEEE Xplore