_id,doi,title 4390,10.1007/978-3-642-14295-6_41,Model checking of linearizability of concurrent list implementations