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. (Springer, 2023)