Bin Ahmadon, M. A.and S. Yamaguchi. Verification Method for Accumulative Event Relation of Message Passing Behavior with Process Tree for Iot Systems. MDPI AG, Apr. 2020, doi:10.3390/info11040232.