"Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings " - читать интересную книгу автора (Thomas A. Henzinger, Christoph M. Kirsch)