W. V. Tran-Jørgensen, P. (2017) “Automated translation of VDM-SL to JML-annotated Java”, Technical Report Electronics and Computer Engineering, 5(29). doi: 10.7146/ece.v5i29.25846.