High-Level Modeling and Design Techniques
2014 ◽
Vol 599-601
◽
pp. 530-533
2010 ◽
pp. 135-157