Machine Behavior Design And Analysis: A consensus perspective - Shuai Li (Springer, Singapore, 2020)