Semi-physical Verification Technology for Dynamic Performance of Internet of Things System - Yu (Springer Singapore, 2019)