Analysing Requirements to Detect Latent Security Vulnerabilities. - Curtis C. R. Busby Earle; Robert B. France; Indrakshi Ray (SERE (Companion), 2014)

Discovering Potential Interaction Violations among Requirements. - Curtis C. R. Busby Earle; Robert B. France (CAiSE Workshops, 2016)