Yu, Shui2023-06-262023-06-262023978-3-031-33457-3978-3-031-33458-0978-3-031-33459-7https://publica.fraunhofer.de/handle/publica/44471810.1007/978-3-031-33458-0enTools for Design, Implementation and Verification of Emerging Information Technologies. 17th EAI International Conference, TridentCom 2022. Proceedings