Hierarchic GERT networks for simulating systems with checkpoints. - Vyacheslav P. Koryachko; Aleksandr Shibanov; Vladimir Shibanov; Aleksey Saprykin; Dmitry A. Perepelkin; Hoang Long Fam (MECO, 2017)