Engineering Smart Contracts with Symboleo: A Progress Report. - Daniel Amyot; Luigi Logrippo; John Mylopoulos; Marco Roveri; Amal Ahmed Anda; Alireza Parvizimosaed; Sofana Alfuhaid; Sepehr Sharifi; Aidin Rasti; Regan Meloche; Daniel Sousa-Diaz (CASCON, 2023)