Return to Article Details Analysis of the consistency of enterprise architecture models using formal verification methods Download Download PDF