"Verification and Scheduling Techniques for Real-Time Embedded Systems (Linkoping studies in science and technology)" - читать интересную книгу автора (Luis Alejandro Cortes)