[美]TODD LAMMLE KEVIN HALES著2000 年出版576 页ISBN:7505363107
EDWARD JACOBS AND GILLIAN DOUGLAS2005 年出版1050 页ISBN:0421918608
Behavioral modeling for embedded systems and technologies : applications for design and implementati
[edited by] Luís Gomes2010 年出版466 页ISBN:1605667501