Betty H. C. Cheng, Laura A. Campbell: Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. RE 2001: 294-295