Model-100: Specification language for interacting processes. - A. V. Babichev; Valentin G. Lebedev (Program. Comput. Softw., 2007)