CORSIKA implementation of heavy quark production and propagation in extensive air showers. - Antonio Bueno; A. Gascón (Comput. Phys. Commun., 2014)