Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong: Complx: a verification framework for concurrent imperative programs. CPP 2017: 138-150