"Embedded Systems Design Based on Formal Models of Computation " - читать интересную книгу автора (Ivan Radojevic, Zoran Salcic)