1. Jun, H., Song, C., Mingming, W.: Transformation method for AltaRica 3.0 to Promela and its verification. Comput. Eng. Sci. 39(4), 708–716 (2017)
2. Prosvirnova, T.: AltaRica 3.0: a model-based approach for safety analyses. Ph.D. diss., 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)