Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum - Marmsoler, Diego