From the editors of the special issue. - V. A. Nepomnyashchii; Alexander K. Petrenko (Program. Comput. Softw., 2008)