Testing of the VENUS 4.12, DPMJET 2.55, QGSJET II-03 and SIBYLL 2.3 hadronic interaction models via help of the atmospheric vertical muon spectraL. G. Dedenko, A. V. Lukyashin, T. M. Roganova and G. F. FedorovaEPJ Web Conf., 158 (2017) 06006DOI: https://doi.org/10.1051/epjconf/201715806006