Model Checking Electronic Commerce Protocols ( Extended Abstract )