Tools for Design, Implementation and Verification of Emerging Information Technologies : 17th EAI International Conference, TridentCom 2022, Melbourne, Australia, November 23-25, 2022, Proceedings - Yu, Shui.; Gu, Bruce; Qu, Youyang; Wang, Xiaodong (Cham Springer, 2023)