Specification and verification of synchronization with condition variables. - De C. Gomes, Pedro; Gurov, Dilian; Huisman, Marieke; Artho, Cyrille (Science of Computer Programming, 2018)