"A semantics for Behavior Trees using CSP with specification commands."

Robert Colvin, Ian J. Hayes (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics