Using predicate fields in a highly flexible industrial control system.

Shay Artzi, Michael D. Ernst

Browse the full OOPSLA paper archive.