Title: Formal analysis of early requirements specifications
First published: 2001