A Reference Model for Requirements and Specifications; (2000)

by Carl A Gunter, Elsa L Gunter, Michael Jackson, Pamela Zave
Venue:Proceedings of ICRE 2000,