Model-based programming of intelligent embedded systems and robotic space explorers. - Brian C. Williams; Michel D. Ingham; Seung H. Chung; Paul H. Elliott (Proc. IEEE, 2003)