Baranov S., Nikiforov V. Application Density and Feasibility Checking in Real-Time Systems // # 7, 2016
