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

by Kurt M Olender, Leon J Osterweil
Venue:IEEE Transactions on Software Engineering