Patterns in property specifications for finite-state verification (1999)

by M B Dwyer, G S Avrunin, J C Corbett
Venue:in 21st International Conference on Software Engineering