1. [1] E.A. Lee, “Cyber physical systems: Design challenges,” Technical Report UCB/EECS-2008-8, EECS Department, University of California, Berkeley, Jan. 2008.
2. [2] M. Tokoro, “White paper of deos project version 3.0a,” Technical Report DEOS-FY2011-WP-03E, Japan Science and Technology Agency, Dec. 2011.
3. [3] K. Ostberg and M. Bengtsson, “Run time safety analysis for automotive systems in an open and adaptive environment,” Proc. Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2013.
4. [4] J. Ballesteros, B. Carbunar, M. Rahman, N. Rishe, and S. Iyengar, “Towards safe cities: A mobile and social networking approach,” IEEE Trans. Parallel Distrib. Syst., vol.99, no.8, pp.1-14, Aug. 2013.
5. [5] M. Stamatelatos, W. Vesely, J. Dugan, J. Fragola, J. Minarick, and J. Railsback, Fault Tree Handbook with Aerospace Applications, version 1.1 ed., NASA, Aug. 2002.