Jim, Thanks. This is a good starting point. I also need to start convincing some of the internal folks that the use of formal specification languages is not a drag but can help uncover issues early in the process. Thanks for your help. John