Ластовченко, М.М.; Макаренко, Н.Н.; Марущак, В.И.
(2006)
Рассмотрена методология модификации языка описаний и спецификации благодаря введению регламентированных временных диаграмм и аппарата количественного анализа. Приведен пример предложенных средств.