| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings | 978-981-13-5136-5 (981-13-5136-8) | 2018 | Shin Nakajima · Masumi Toyoshima · Huafeng Yu |
| Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction | 978-1-4419-6399-4 (1-4419-6399-5) | 2010 | Sandeep Kumar Shukla |