SYSTEM SIMULATION PROGRAMMING STYLES AND LANGUAGES
2222 年出版366 页ISBN:0201129140
ADVANCED SYSTEM MODELLING AND SIMULATION WITH BLOCK DIAGRAM LANGUAGES
2222 年出版350 页ISBN:0849394791
Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN:9810225667