Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems | IEEE Conference Publication | IEEE Xplore