TA-SPESC: Toward Asset-Driven Smart Contract Language Supporting Ownership Transaction and Rule-Based Generation on Blockchain. - Zhu, Yan; Song, Weijing; Wang, Di; Ma, Di; Chu, William Cheng-Chung (IEEE Trans. Reliab., 2021)