Functional model of a software system with random time horizon. - Dmitrii A. Zubok; Aleksandr V. Maiatin; Valentina E. Kiryushkina; Maksim V. Khegai (FRUCT, 2015)