"Languages for embedded systems and their applications: selected contributions on specification, design, and verification from FDL'08" - читать интересную книгу автора (Martin Radetzki)