A. Ben-Amram, J. Blieberger, B. Scholz: "The WCETMarker-Problem is NP-complete"; Talk: WCET-Meeting, Vienna, Austria; 2003-06-23.