Lovic Gauthier, Sungjoo Yoo, Ahmed Amine Jerraya. Automatic generation and targeting of application-specificoperating systems and embedded systems software. IEEE Trans. on CAD of Integrated Circuits and Systems, 20(11):1293-1301, 2001. [doi]
Abstract is missing.