Reasoning About Precisely Defined Processes Leon J. Osterweil ([email protected]) Lab. For Advanced SE Research (LASER) University.