publication venue for Verifying Web Services Composition Based on Interface Automata Using SPIN. 4:23-33. 2010