1. PoV: An Efficient Voting-Based Consensus Algorithm for Consortium Blockchains;kejiao,0
2. On the formal verification of the stellar consensus protocol;losa;2nd Workshop on Formal Methods for Blockchains,2020
3. Architecture software developer’s manual,1997
4. The VHDL Handbook
5. User requirements notation (URN) – Language definition;ITU-T Recommendation,2008