Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems

Published in International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS), 2021