From Specification to Embedded Systems Application IFIP TC10 Working Conference--International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil - Rettberg, Achim (IFIP International Federation for Information Processing Ser.)