M. Steinmetz and Álvaro Torralba, “Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs”, ICAPS, vol. 29, no. 1, pp. 473-481, Jul. 2019.