Использование временных автоматов при тестировании киберфизических систем - Громов, Максим Леонидович (Известия высших учебных заведений. Физика)