Abstraction and composition: a verification method for co-operating systems