1. ESL Design and Verification: A Prescription for Electronic System Level Methodology;Martin,2010
2. G. Kahn, The semantics of a simple language for parallel programming, in: IFIP Congress, 1974, pp. 471–475.
3. J. Teich, Hardware/software codesign: the past, the present, and predicting the future, in: Proc. IEEE, vol. 100(Special Centennial Issue), May 2012, pp. 1411–1430.
4. Synthesis of optimized hardware transactors from abstract communication specifications;Lee,2012
5. M. Lukasiewycz, M. Glaß, C. Haubelt, J. Teich, R. Regler, B. Lang, Concurrent topology and routing optimization in automotive network integration, in: Proc. 2008 ACM/EDAC/IEEE Design Automation Conf., Ser. DAC, June 2008, pp. 626–629.