"Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation " - читать интересную книгу автора (Axel Jantsch)