Model driven software development for Lego Mindstorm NXT (as it was possible in 2008). Now the tooling is much sophisticated, check out: http://www.statecharts.org/Leer menos