Tools for Design, Implementation and Verification of Emerging Information Technologies - 17th EAI International Conference, TridentCom 2022, Melbourne, Australia, November 23-25, 2022, Proceedings