Run-time Performance Monitoring, Verification, and Healing of End-to-End Services. - Nakjung Choi; Lalita Jagadeesan; Young Jin; Nishok Narasimha Mohanasamy; Muntasir Raihan Rahman; Krishan K. Sabnani; Marina Thottan (NetSoft, 2019)