Proceedings of Iced13 Volume 9: Design Methods and ToolsUdo Lindemann, Srinivasan Venkataraman, Yong Se KimHäftad, 20131 478 kr