Implementation of an Architectural Formal Verification Methodology by ArterisIP