Knosit
From specification to embedded systems application by IFIP TC10 Working Conference: International Embedded Systems Symposium (2005 Manaus, Brazil) - Knosit