Machine Behavior Design And Analysis: A Consensus Perspective - Zhang, Yinyan (Springer Singapore, 2020)