A Formal Model for Behavior Trees Based on Context - Free Grammar | IEEE Conference Publication | IEEE Xplore