Author: Workshop on Formal Methods in Software Practice (3rd 2000 Portland, Or.)