Nested Dynamic Condition Response Graphs · Study