L. Mesa-Moles, J. Argaud, A. Jardin, A. Benssy, and Y. Dong. Modelica, volume 157 of Linköping Electronic Conference Proceedings, page 157:056. Linköping University Electronic Press, (2019)
J. Gong, J. Chen, X. Dong, Z. Cao, and S. Tang. Public Key Cryptography (1), volume 9614 of Lecture Notes in Computer Science, page 133-163. Springer, (2016)