CASA: An Approach for Exposing and Documenting Concurrency-Related Software Properties. - Jasmin Jahic; Volkan Doganci; Hubert Gehring (SAMOS, 2022)