Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel: Predicate abstractions for smart contract validation. MoDELS 2022: 289-299