Embedded system design Modeling, synthesis and verification (Springer, 2009)
Includes bibliographical references and index.