Machine Behavior Design And Analysis - Yinyan Zhang, Shuai Li (Springer, 2020)