Christoph Jäschke Rainer Laur Resource Constrained Modulo Scheduling with Global Resource Sharing. 60-65 1998 ISSS http://dlib.computer.org/conferen/isss/8623/pdf/86230060.pdf db/conf/isss/isss1998.html#JaschkeL98