Runtime Verification as Documentation. - Dams, Dennis; Havelund, Klaus; Kauffman, Sean (2022)