Exploring Hyperledger Sawtooth: Model Checking Proof-of-Elapsed Time Algorithm and Testing Methods for Enterprise Blockchain Applications - Staroletov, Sergey (2025 37th Conference of Open Innovations Association (FRUCT), Open Innovations Association (FRUCT), 2025 37th Conference of, 2025)