@misc(b51,
 year         = {2021},
 title        = {Average time to mine a block in minutes.},
 url          = {https://data.bitcoinity.org/bitcoin/block_time/5y?f=m10&t=l},
)
@misc(b20,
 year         = {2021},
 title        = {Bitcoin Monitoring.},
 url          = {https://dsn.tm.kit.edu/bitcoin/},
)
@inproceedings(b47,
 author       = {Tesnim Abdellatif and Kei-Leo Brousmiche},
 year         = {2018},
 title        = {Formal verification of smart contracts based on users and blockchain behaviors models},
 booktitle    = {2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS)},
 organization = {IEEE},
 pages        = {1--5},
 doi          = {10.1109/NTMS.2018.8328737},
)
@article(b49,
 author       = {Abhishta Abhishta and Roland van Rijswijk-Deij and Lambert JM Nieuwenhuis},
 year         = {2019},
 title        = {Measuring the impact of a successful DDoS attack on the customer behaviour of managed DNS service providers},
 journal      = {ACM SIGCOMM Computer Communication Review},
 volume       = {48},
 number       = {5},
 pages        = {70--76},
 doi          = {10.1145/3310165.3310175},
)
@inproceedings(b14,
 author       = {Gervais Arthur and Hubert Ritzdorf and Ghassan Karame and Srdjan Capkun},
 year         = {2015},
 title        = {Tampering with the delivery of blocks and transactions in bitcoin},
 booktitle    = {Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security},
 pages        = {692--705},
 doi          = {10.1145/2810103.2813655},
)
@book(b78,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of model checking},
 publisher    = {MIT press},
)
@inproceedings(b52,
 author       = {Hsing-Chung Chen and Bambang Irawan and Chieh-Yang Shih and Cahya Damarjati and Zon-Yin Shae and Fengming Chang},
 year         = {2019},
 title        = {A Smart Contract to Facilitate Goods Purchasing Based on Online Haggle},
 booktitle    = {International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing},
 organization = {Springer},
 pages        = {618--628},
 doi          = {10.1007/978-3-030-22263-5\_58},
)
@misc(b56,
 author       = {Ivan Fedotov and Anton Khritankov},
 year         = {2021},
 title        = {SBIP models},
 howpublished = {\url{https://github.com/1vanan/SBIP_models}},
)
@inproceedings(b35,
 author       = {Thomas H{\'e}rault and Richard Lassaigne and Fr{\'e}d{\'e}ric Magniette and Sylvain Peyronnet},
 year         = {2004},
 title        = {Approximate probabilistic model checking},
 booktitle    = {International Workshop on Verification, Model Checking, and Abstract Interpretation},
 organization = {Springer},
 pages        = {73--84},
 doi          = {10.1007/978-3-319-06880-0\_2},
)
@inproceedings(b4,
 author       = {Amir Herzberg and Haya Shulman},
 year         = {2013},
 title        = {DNSSEC: Security and availability challenges},
 booktitle    = {2013 IEEE Conference on Communications and Network Security (CNS)},
 organization = {IEEE},
 pages        = {365--366},
 doi          = {10.1109/CNS.2013.6682730},
)
@article(b72,
 author       = {Nicolas Houy},
 year         = {2014},
 title        = {The economics of Bitcoin transaction fees},
 journal      = {GATE WP},
 volume       = {1407},
 doi          = {10.2139/ssrn.2400519},
)
@misc(b27,
 author       = {Marie Huillet},
 year         = {2019},
 title        = {Report: Record-Breaking Coincheck Hack Perpetrated by Virus Tied to Russian Hackers},
 url          = {https://cointelegraph.com/news/report-record-breaking-coincheck-hack-perpetrated-by-virus-tied-to-russian-hackers},
)
@inproceedings(b45,
 author       = {Adnan Imeri and Nazim Agoulmine and Djamel Khadraoui},
 year         = {2020},
 title        = {Smart Contract modeling and verification techniques: A survey},
 booktitle    = {8th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2020)},
 pages        = {1--8},
)
@inproceedings(b74,
 author       = {Ghassan O Karame and Elli Androulaki and Srdjan Capkun},
 year         = {2012},
 title        = {Double-spending fast payments in bitcoin},
 booktitle    = {Proceedings of the 2012 ACM Conference on Computer and Communications Security},
 pages        = {906--917},
 doi          = {10.1145/2382196.2382292},
)
@article(b36,
 author       = {Ron Koymans},
 year         = {1990},
 title        = {Specifying real-time properties with metric temporal logic},
 journal      = {Real-Time Systems},
 volume       = {2},
 number       = {4},
 pages        = {255--299},
 doi          = {10.1007/BF01995674},
)
@inproceedings(b38,
 author       = {Axel Legay and Beno{\^\i}t Delahaye and Saddek Bensalem},
 year         = {2010},
 title        = {Statistical model checking: An overview},
 booktitle    = {International Conference on Runtime Verification},
 organization = {Springer},
 pages        = {122--135},
 doi          = {10.1007/978-3-642-16612-9\_11},
)
@inproceedings(b46,
 author       = {D.B. Maksimov and I.A. Yakimov and Kuznetsov A.S.},
 year         = {2020},
 title        = {Statistical model checking for blockchain-based applications},
 booktitle    = {IOP Conference Series: Materials Science and Engineering},
 volume       = {734},
 organization = {IOP Publishing},
 pages        = {012152},
 doi          = {10.1088/1757-899X/734/1/012152},
)
@inproceedings(b33,
 author       = {Braham Lotfi Mediouni and Ayoub Nouri and Marius Bozga and Mahieddine Dellabani and Axel Legay and Saddek Bensalem},
 year         = {2018},
 title        = {SBIP 2.0: Statistical Model Checking Stochastic Real-Time Systems},
 booktitle    = {International Symposium on Automated Technology for Verification and Analysis},
 organization = {Springer},
 pages        = {536--542},
 doi          = {10.1007/978-3-030-01090-4\_33},
)
@article(b21,
 author       = {Satoshi Nakamoto},
 year         = {2008},
 title        = {Bitcoin: A peer-to-peer electronic cash system},
 journal      = {Decentralized Business Review},
 pages        = {21260},
)
@article(b54,
 author       = {Muhammad Saad and Laurent Njilla and Charles A. Kamhoua and Kevin Kwiat and Aziz Mohaisen},
 year         = {2019},
 title        = {Shocking Blockchain\IeC{\textquoteright}s Memory with Unconfirmed Transactions: New DDoS Attacks and Countermeasures},
 journal      = {Blockchain for Distributed Systems Security},
 pages        = {205},
 doi          = {10.1002/9781119519621.ch10},
)
@article(b48,
 author       = {Muhammad Saad and Jeffrey Spaulding and Laurent Njilla and Charles Kamhoua and Sachin Shetty and DaeHun Nyang and Aziz Mohaisen},
 year         = {2019},
 title        = {Exploring the attack surface of blockchain: A systematic overview},
 journal      = {arXiv preprint arXiv:1904.03487},
 doi          = {10.1109/COMST.2020.2975999},
)
@article(b7,
 author       = {Rajeev Sobti and Ganesan Geetha},
 year         = {2012},
 title        = {Cryptographic hash functions: a review},
 journal      = {International Journal of Computer Science Issues (IJCSI)},
 volume       = {9},
 number       = {2},
 pages        = {461},
)
@techreport(b3,
 author       = {Joe Stewart},
 year         = {2005},
 title        = {DNS Cache Poisoning \IeC{\textendash} The Next Generation},
 type         = {Technical Report},
 institution  = {Portland State University},
 url          = {https://www.ida.liu.se/~TDDD17/literature/dnscache.pdf},
)