Return to Article Details DECONSTRUCTING MODEL CHECKING Download Download PDF