Tools for Design, Implementation and Verification of Emerging Information Technologies - Yu Weng, Yuyu Yin, Li Kuang, Zijian Zhang (Springer, 2021)