König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.”10.1007/978-3-030-20652-9‑18__NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9‑18.

Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”10.1007/978-3-319-92970-5_7__Software Engineering and Formal Methods, Springer International Publishing, 2018, pp. 105–20, doi:10.1007/978-3-319-92970-5_7.

König, Jürgen, et al. “Scheduling with Interjob Communication on Parallel Processors.”10.1007/s10878-018-0325-3__Journal of Combinatorial Optimization, vol. 36, no. 4, 2018, pp. 1356–79, doi:10.1007/s10878-018-0325-3.