1. Jun, H.U., Chen, S., Wang, M.M.: A transformation method for altarica3.0 to Promela and its verification. Comput. Eng. Sci. (2017)
2. Prosvirnova, T.: Altarica 3.0: a model-based approach for safety analyses. Ecole Polytechnique (2014)
3. Prosvirnova, T.: The AltaRica 3.0 project for model-based safety assessment. In: IEEE International Conference on Industrial Informatics. IEEE (2013)
4. Latif-Shabgahi, G., Bass, J.M., Be Nnett, S.: A taxonomy for software voting algorithms used in safety-critical systems. IEEE Trans. Reliab. 53(3), 319–328 (2004)
5. Zhipeng, W.U., Jun, H.U., Chen, S., Shi, J.: Safety verification methodology of embedded system based on Altarica model. J. Front. Comput. Sci. Technol. 11(1), 24–36 (2017)