A Work Allocation Language with Soft Constraints.

Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan

Browse the full CaiSE paper archive.