Ian Oliver Model Driven Embedded Systems. 5 2003 conf/acsd/2003 ACSD http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870005.pdf db/conf/acsd/acsd2003.html#Oliver03