1. Alves-Foss, J., Harrison, W.S., Oman, P., Taylor, C.: The MILS architecture for high-assurance embedded systems. Int. J. Embed. Syst. 2(3/4), 239–247 (2006)
2. Lecture Notes in Computer Science;M Balliu,2013
3. Boettcher, C., DeLong, R., Rushby, J., Sifre, W.: The MILS component integration approach to secure information sharing. In: IEEE/AIAA 27th Digital Avionics Systems Conference, 2008, DASC 2008, pp. 1.C.2-1–1.C.2-14. IEEE (2008)
4. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Secaucus (2001)
5. Camek, A., Holzl, F., Bytschkow, D.: Providing security to a smart grid prosumer system based on a service oriented architecture in an office environment. In: Proceedings of Innovative Smart Grid Technologies (ISGT), 2013 IEEE PES (2013)