A test selection language for CO-OPN specifications | IEEE Conference Publication | IEEE Xplore