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)

A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. - Sofana Alfuhaid; Daniel Amyot; Amal Ahmed Anda; John Mylopoulos (IEEE Access, 2023)

SymboleoAC: An Access Control Model for Legal Contracts. - Sofana Alfuhaid; Amal Ahmed Anda; Daniel Amyot; Marco Roveri; John Mylopoulos (PoEM, 2024)

Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications. - Sofana Alfuhaid (ICSE Companion, 2025)

SymboleoPC: checking properties of legal contracts. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Daniel Amyot; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)

Automated generation of smart contract code from legal contract specifications with Symboleo2SC. - Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)