L.J.: Cecil: A sequencing constraint language for automatic static analysis generation (1990)

by K M Olender, Osterweil
Venue:IEEE Transactions on Software Engineering