1. Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber-physical systems. Proc. IEEE Spec. Issue CPS 100(1), 13–28 (2012)
2. Cyber-Physical Systems (CPSs). Available from: http://cyberphysicalsystems.org/
3. Rawat, D.B., Rodrigues, J.J., Stojmenovic, I.: Cyber-Physical Systems: From Theory to Practice. CRC Press, Boca Raton (2015)
4. Ma, T., Ali, S., Yue, T.: Modeling foundations for executable model-based testing of self-healing cyber-physical systems. Softw. Syst. Model. 18(5), 2843–2873 (2019)
5. Zhang, M., et al.: Uncertainty-wise cyber-physical system test modeling. Softw. Syst. Model. 1–40 (2017)