From specification to embedded systems application : IFIP TC10 Working Conference--International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil. ISBN 9780387275574. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.