Model checking parameterized asynchronous shared-memory systems | Publicación