M. Ramirez, N. Yadav, and S. Sardina, “Behavior Composition as Fully Observable Non-Deterministic Planning”, ICAPS, vol. 23, no. 1, pp. 180-188, Jun. 2013.