Runtime Verification - Lu Feng; Fisman, Dana (Springer International Publishing, 2021)