Parvizimosaed, Alireza, et al. "SymboleoPC: checking properties of legal contracts: A. Parvizimosaed et al." Software and Systems Modeling 24.4 (2025): 1093-1126.