Model checking of concurrent programs with static analysis of field accesses. - Parízek, Pavel; Lhoták, Ondřej (Science of Computer Programming, 2015)