ITAT 2013 article, version 2 (theoretic. intro)