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

by M B Dwyer, G S Avrunin, J C Corbett
Venue:In Proc. 21st Intl. Conf. Software Engineering (ICSE