Protocol analysis (Thomson, 2001)