Realizability Analysis for Message-based Interactions Using Shared-State Projections (Talk @ FSE 2010)
