Formal Methods for Multicore Programming - Bernardo; Johnsen, Einar Broch (Springer International Publishing, 2015)