| 2 | -- | 3 | Albert Mo Kim Cheng, Ramesh S. Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems |
| 4 | -- | 7 | Sudhanshu Vyas, Chetan Kumar Ng, Joseph Zambreno, Christopher D. Gill, Ron Cytron, Phillip H. Jones. An FPGA-Based Plant-on-Chip Platform for Cyber-Physical System Analysis |
| 8 | -- | 11 | Qingling Zhao, Zonghua Gu, Haibo Zeng. HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling |
| 12 | -- | 15 | Yuanfan Yang, Jimson Mathew, Rishad A. Shafik, Dhiraj K. Pradhan. Verilog-A Based Effective Complementary Resistive Switch Model for Simulations and Analysis |