The use of task graphs for modeling complex system behavior | IEEE Conference Publication | IEEE Xplore