Văn bản này: Languages for embedded systems and their applications : selected contributions on specification, design, and verification from FDL'08 / Martin Radetzki, editor.