M. Bahadir Saltik, Nikolaos Athanasopoulos, Leyla Özkan, Siep Weiland: Safety analysis for a class of graph constrained scheduling problems. CDC 2015: 1687-1692