A Formalism to describe cyclogram testing models and perform model verification. - A. E. Verger; A. S. Pervanyuk (Autom. Remote. Control., 2013)