Return to Article Details GaddingRie: A Methodology for the Refinement of Model Checking Download Download PDF