Special Section on: Formal Methods for Embedded Systems Design
Programming Models and Architectures for Embedded Systems
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009