Languages for embedded systems and their applications : selected contributions on specification, design, and verification from FDL'08 / ed. M. Radetzki, 2009 r=on-line. - Текст : электронный.