Saad Zafar, Naurin Farooq Khan, Musharif Ahmed: Requirements simulation for early validation using Behavior Trees and Datalog. Inf. Softw. Technol. 61: 52-70 (2015)