Nadia Busi: Deciding Behavioural Properties in Brane Calculi. CMSB 2006: 17-31