Проведено експериментальні дослідження текстів вимог до програмних систем за допомогою частотного аналізу. За результатами експериментів виділено «мову таймерів» — сукупність речень природної мови, що мають певну структуру та описують дії з таймерами. Розроблено засоби перетворення речень мови таймерів у позначені структуровані вирази проміжної мови, яку можна використовувати як допоміжний засіб у ланцюжку кроків від тексту вимог до системи, поданого природною мовою, до формальної моделі цієї системи.