Научная литератураReal-Time Systems Design and Analysis. Tools for the PractitionerLaplante A. Phillip, Ovaska J. Seppo