Runtime verification 20th international conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings - Deshmukh, Jyotirmoy (Springer, 2020)