On the Formal Development of Behavioral Reactive Agents: A Systematic Braitenberg-Vehicle Approach. - Matin Macktoobian; Ahmad T. Khataminejad (CoRR, 2016)