Formal Methods for Multicore Programming - Bernardo (Springer International Publishing, 2015)