Andronikos, Theodore,Zachos, Stathis, A modal logic formalism for scheduling dags, 42-51, 2000, World Scientific,