4 papers:
SAC-2004-GrutznerWW #assurance #lifecycle #quality- Improving courseware quality through life-cycle encompassing quality assurance (IG, SW, PEW), pp. 946–951.
RTA-1993-CaronCD #automaton #constraints- Encompassment Properties and Automata with Constraints (ACC, JLC, MD), pp. 328–342.
ICSE-1988-TerwilligerC- An Early Report on Encompass (RBT, RHC), pp. 344–355.
VLDB-1981-Borr #distributed #monitoring #reliability #transaction- Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.
