Author: Workshop on Formal Methods in Software Practice (2nd 1998 Clearwater Beach, Fla.)