The language dynamic-real and its application for verification of SDL-specified distributed systems. - Valery A. Nepomniaschy; Evgeny V. Bodin; S. O. Veretnov (Program. Comput. Softw., 2015)