From specification to embedded systems application IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil (IFIP - International Federation for Information Processing, 2005)