Intent specifications: An approach to building human-centered specifications (2000)

by Nancy G. Leveson
Venue:IEEE Transactions on Software Engineering