APML: An Architecture Proof Modeling Language. - Diego Marmsoler; Genc Blakqori (FM, 2019)