Synthesis of conditional behaviors using hierarchical conditional dependency graphs and constraint logic programming | IEEE Conference Publication | IEEE Xplore