Specification and analysis of legal contracts with Symboleo. - Alireza Parvizimosaed; Sepehr Sharifi; Daniel Amyot; Luigi Logrippo; Marco Roveri; Aidin Rasti; Ali Roudak; John Mylopoulos (Softw. Syst. Model., 2022)