1. Campanile, F., Coppolino, L., D’Antonio, S., Lev, L., Mazzeo, G., Romano, L., Sgaglione, L., Tessitore, F.: Cloudifying critical applications: a use case from the power grid domain. In: 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), pp. 363–370, March 2017
2. Cerullo, G., Mazzeo, G., Papale, G., Sgaglione, L., Cristaldi, R.: A secure cloud-based scada application: the use case of a water supply network. In: SoMeT (2016)
3. Connelly, S., Becht, H.: Developing a methodology for the use of cots operating systems with safety-related software. In: Proceedings of the Australian System Safety Conference, ASSC 2011, Darlinghurst, Australia, vol. 133, pp. 27–36. Australian Computer Society, Inc. (2011)
4. Pierce, R.H.: Preliminary Assessment of Linux for Safety Related Systems. Research Report Series, HSE Books (2002)
5. Jones, C., Bloomfield, R., Froome, P., Bishope, P.: Methods for assessing the safety integrity of safety-related software of uncertain pedigree (SOUP). HSE Books (2001)