"Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings " - читать интересную книгу автора (Alberto Sangiovanni-Vincentelli, Joseph Sifakis)