Declarative Design of Control Logic for Mindstorms NXT with XTT2 Method. - Grzegorz J. Nalepa; Blazej Biesiada (ICCCI (2), 2011)