SIR-based mathematical modeling of infectious diseases with vaccination and waning immunity. - Matthias Ehrhardt 001; Ján Gasper; Sona Kilianová (J. Comput. Sci., 2019)