Wei Chen, Zhaohui Wu, Xiang Wang: Minimizing Memory Utilization of Task Sets in SmartOSEK. AINA 2005: 552-558