@conference {375,
	title = {Symbolic Model Checking for TLA+ Made Faster},
	booktitle = {TACAS - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
	year = {2023},
	address = {Paris},
	url = {https://doi.org/10.1007/978-3-031-30823-9_7},
	author = {Rodrigo Otoni and Igor Konnov and Jure Kukovec and Patrick Eugster and Natasha Sharygina}
}
@article {373,
	title = {A Solicitous Approach to Smart Contract Verification},
	journal = {ACM Transactions on Privacy and Security},
	year = {2022},
	type = {Full-Length Research Paper},
	url = {https://dl.acm.org/doi/10.1145/3564699},
	author = {Rodrigo Otoni and Matteo Marescotti and Leonardo Alt and Patrick Eugster and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
